mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
Update READEME.md with current status, grammar etc. (#102)
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
This commit is contained in:
committed by
GitHub
parent
49bd657a41
commit
aabf329088
@@ -0,0 +1,61 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<svg xmlns="http://www.w3.org/2000/svg" width="209" height="37">
|
||||
<defs>
|
||||
<style type="text/css">
|
||||
@namespace "http://www.w3.org/2000/svg";
|
||||
.line {fill: none; stroke: #332900; stroke-width: 1;}
|
||||
.bold-line {stroke: #141000; shape-rendering: crispEdges; stroke-width: 2;}
|
||||
.thin-line {stroke: #1F1800; shape-rendering: crispEdges}
|
||||
.filled {fill: #332900; stroke: none;}
|
||||
text.terminal {font-family: Verdana, Sans-serif;
|
||||
font-size: 12px;
|
||||
fill: #141000;
|
||||
font-weight: bold;
|
||||
}
|
||||
text.nonterminal {font-family: Verdana, Sans-serif;
|
||||
font-size: 12px;
|
||||
fill: #1A1400;
|
||||
font-weight: normal;
|
||||
}
|
||||
text.regexp {font-family: Verdana, Sans-serif;
|
||||
font-size: 12px;
|
||||
fill: #1F1800;
|
||||
font-weight: normal;
|
||||
}
|
||||
rect, circle, polygon {fill: #332900; stroke: #332900;}
|
||||
rect.terminal {fill: #FFDB4D; stroke: #332900; stroke-width: 1;}
|
||||
rect.nonterminal {fill: #FFEC9E; stroke: #332900; stroke-width: 1;}
|
||||
rect.text {fill: none; stroke: none;}
|
||||
polygon.regexp {fill: #FFF4C7; stroke: #332900; stroke-width: 1;}
|
||||
</style>
|
||||
</defs>
|
||||
<polygon points="9 17 1 13 1 21"/>
|
||||
<polygon points="17 17 9 13 9 21"/>
|
||||
<rect x="31" y="3" width="26" height="32" rx="10"/>
|
||||
<rect x="29"
|
||||
y="1"
|
||||
width="26"
|
||||
height="32"
|
||||
class="terminal"
|
||||
rx="10"/>
|
||||
<text class="terminal" x="39" y="21">[</text>
|
||||
<a xmlns:xlink="http://www.w3.org/1999/xlink"
|
||||
xlink:href="#compr"
|
||||
xlink:title="compr">
|
||||
<rect x="77" y="3" width="58" height="32"/>
|
||||
<rect x="75" y="1" width="58" height="32" class="nonterminal"/>
|
||||
<text class="nonterminal" x="85" y="21">compr</text>
|
||||
</a>
|
||||
<rect x="155" y="3" width="26" height="32" rx="10"/>
|
||||
<rect x="153"
|
||||
y="1"
|
||||
width="26"
|
||||
height="32"
|
||||
class="terminal"
|
||||
rx="10"/>
|
||||
<text class="terminal" x="163" y="21">]</text>
|
||||
<path class="line"
|
||||
d="m17 17 h2 m0 0 h10 m26 0 h10 m0 0 h10 m58 0 h10 m0 0 h10 m26 0 h10 m3 0 h-3"/>
|
||||
<polygon points="199 17 207 13 207 21"/>
|
||||
<polygon points="199 17 191 13 191 21"/>
|
||||
</svg>
|
||||
|
After Width: | Height: | Size: 2.5 KiB |
Reference in New Issue
Block a user