2014-12-21 19:39:00 +00:00
|
|
|
@import 'base';
|
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
svg {
|
2014-12-21 20:22:01 +00:00
|
|
|
background-color: $white;
|
2016-05-31 12:36:44 +00:00
|
|
|
}
|
2014-12-21 20:22:01 +00:00
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
text, tspan {
|
|
|
|
font: 12px Arial;
|
|
|
|
}
|
2014-12-21 19:39:00 +00:00
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
path {
|
|
|
|
fill-opacity: 0;
|
|
|
|
stroke-width: 2px;
|
|
|
|
stroke: $black;
|
|
|
|
}
|
2014-12-21 19:39:00 +00:00
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
circle {
|
|
|
|
fill: $gray;
|
|
|
|
stroke-width: 2px;
|
|
|
|
stroke: $black;
|
|
|
|
}
|
2014-12-21 19:39:00 +00:00
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
.anchor text, .any-character text {
|
|
|
|
fill: $white;
|
|
|
|
}
|
2014-12-21 19:39:00 +00:00
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
.anchor rect, .any-character rect {
|
|
|
|
fill: $gray;
|
|
|
|
}
|
2014-12-21 19:39:00 +00:00
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
.escape text, .charset-escape text, .literal text {
|
|
|
|
fill: $black;
|
|
|
|
}
|
2014-12-21 19:39:00 +00:00
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
.escape rect, .charset-escape rect {
|
|
|
|
fill: $green;
|
|
|
|
}
|
2014-12-21 19:39:00 +00:00
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
.literal rect {
|
|
|
|
fill: $blue;
|
|
|
|
}
|
2014-12-21 19:39:00 +00:00
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
.charset .charset-box {
|
|
|
|
fill: $tan;
|
|
|
|
}
|
2014-12-21 19:39:00 +00:00
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
.subexp .subexp-label tspan,
|
|
|
|
.charset .charset-label tspan,
|
|
|
|
.match-fragment .repeat-label tspan {
|
|
|
|
font-size: 10px;
|
|
|
|
}
|
2014-12-21 19:39:00 +00:00
|
|
|
|
2016-07-31 14:47:26 +00:00
|
|
|
.repeat-label {
|
|
|
|
cursor: help;
|
|
|
|
}
|
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
.subexp .subexp-label tspan,
|
|
|
|
.charset .charset-label tspan {
|
|
|
|
dominant-baseline: text-after-edge;
|
|
|
|
}
|
2014-12-21 19:39:00 +00:00
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
.subexp .subexp-box {
|
|
|
|
stroke: $light-gray;
|
|
|
|
stroke-dasharray: 6,2;
|
|
|
|
stroke-width: 2px;
|
|
|
|
fill-opacity: 0;
|
|
|
|
}
|
2014-12-21 19:39:00 +00:00
|
|
|
|
2016-05-31 12:36:44 +00:00
|
|
|
.quote {
|
|
|
|
fill: $light-gray;
|
2014-12-21 19:39:00 +00:00
|
|
|
}
|