-
-
Notifications
You must be signed in to change notification settings - Fork 1.4k
Expand file tree
/
Copy pathsvg.css
More file actions
34 lines (32 loc) · 1.43 KB
/
svg.css
File metadata and controls
34 lines (32 loc) · 1.43 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
div .ebnf
{
display: block;
padding: 2pt;
margin-bottom: 22pt;
font:10px 'Roboto-Mono',monospace;
}
@namespace "http://www.w3.org/2000/svg";
.line {fill: none; stroke: #0063db; stroke-width: 1;}
.bold-line {stroke: #000714; shape-rendering: crispEdges; stroke-width: 2;}
.thin-line {stroke: #000A1F; shape-rendering: crispEdges;}
.filled {fill: #0063db; stroke: none;}
text.terminal {font-family: Roboto, Sans-serif;
font-size: 10px;
fill: #000714;
font-weight: bold;
}
text.nonterminal {font-family: Roboto, Sans-serif;
font-size: 10px;
fill: #00091A;
font-weight: normal;
}
text.regexp {font-family: Roboto, Sans-serif;
font-size: 10px;
fill: #000A1F;
font-weight: normal;
}
rect, circle, polygon {fill: #0063db; stroke: #0063db;}
rect.terminal {fill: #4D88FF; stroke: #0063db; stroke-width: 1;}
rect.nonterminal {fill: #9EBFFF; stroke: #0063db; stroke-width: 1;}
rect.text {fill: none; stroke: none;}
polygon.regexp {fill: #C7DAFF; stroke: #0063db; stroke-width: 1;}