You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 

157 lines
2.5 KiB

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;
}