svg {
	touch-action: none;
    display: block;
    clear: both;
    /*border:1px dotted magenta;*/
    /*margin-top:-1px;*/
}
.handle {
	fill: none;
	pointer-events: all;
}
/* including #handles is a hack to increase specificity */
#handles .handle:hover {
	/*fill: #f00;*/
	fill: black;
}
svg:hover .handle {
	/*fill: #800;*/
	fill: black;
}
svg:hover .selected .handle {
	/*fill: #fcb;*/
	fill: black;
	stroke: black;
}
#handles line.target {
	stroke: black;
}
#handles circle.target {
	fill: none;
	stroke: black;
	stroke-opacity: 0.15;
	stroke-width: 10;
}
svg:hover #handles line.tan {
	/*stroke: #00f;*/
	fill: black;
	stroke-width: 1;
}
svg:hover #handles .tanhandle {
	/*fill: white;*/
	fill: black;
	/*stroke: #00f;*/
}
svg:hover #handles .tanhandle.computed {
	/*fill: rgba(255, 255, 255, 0.3);*/
	fill: black;
	/*stroke: rgba(0, 0, 255, 0.3);*/
}
svg:hover #handles .tanhandle:hover {
	/*fill: #fcb;*/
	fill: black;
}
#grid line {
	stroke: #ddf;
}

#nav {
    position: relative;
    font-size: 12px;
    /* float: left; */
    height: 25px;
    z-index: 10;
    top: 0px;
    left: 0;
    padding: 0;
    margin: 0;
    width: 100%;
    user-select: none;
}
#nav li {
    float: left;
    position: relative;
    list-style: none;
}
#nav li a {
    display: block;
    padding: 5px 10px;
    color: #000;
    text-decoration: none;
    cursor: default;
}
#nav a:hover:not(.inactive) {
    background: #cdf;
}
#nav li ul {
    position: absolute;
    display: none;
    background: #fff;
    box-shadow: 2px 2px 5px 0 rgba(0, 0, 0, 0.3);
    /*float: none;*/
}
#nav li ul a {
    width: 10em;
    width: -moz-max-content;
    width: max-content;
    padding: 4px 10px;
    cursor: default;
}
#nav li ul a.inactive {
	color: #888;
}
#nav li:hover ul {
    display: block;
    left: 0;
    margin: 0;
    padding: 0;
    border-width: 1px;
    border-style: solid;
    border-color: #000;
}
#nav li:hover ul.off {
    display: none;
}

.modal {
	display: none;
	position: fixed;
	z-index: 1;
	left: 0;
	top: 0;
	width: 100%;
	height: 100%;
	overflow: auto;
	background-color: rgba(255, 255, 255, 0.3);
}

.modal-content {
	margin: 15% auto;
	padding: 20px;
	border: 1px solid #888;
	width: 60%;
	background-color: rgba(255, 255, 255, 0.8);
}
.modal-content pre {
	white-space: pre-wrap;
}
.modal-content textarea {
	width: 100%;
}
.modal-content button {
	font-size: 14px;
}

.close {
	float: right;
	font-size: 28px;
	user-select: none;
}

.close:hover, .close.focus {
	cursor: pointer;
}

.invisible {
	opacity: 0;
}