regexper-static/src/index.html

104 lines
2.2 KiB
HTML
Raw Normal View History

2014-11-23 22:13:05 +00:00
<div class="container">
<form id="regexp-form">
2014-11-23 22:13:05 +00:00
<textarea id="regexp-input" autofocus="autofocus" placeholder="Enter JavaScript-style regular expression to display"></textarea>
<button type="submit">Display</button>
<ul class="inline-list">
<li><a href="#" class="oi with-text" data-glyph="data-transfer-download" download="image.svg" type="image/svg+xml">Download</a></li>
2014-11-23 22:13:05 +00:00
<li><a href="#" class="oi with-text" data-glyph="link-intact">Permalink</a></li>
</ul>
</form>
</div>
<div class="results">
<div id="loading">
<div class="spinner">
<div></div>
<div></div>
</div>
2014-12-15 19:20:04 +00:00
<div id="progress">
<div style="width: 0%;"></div>
</div>
2014-11-23 22:13:05 +00:00
</div>
<div id="error"></div>
<div id="regexp-render">
2014-11-30 18:14:31 +00:00
<svg xmlns="http://www.w3.org/2000/svg" version="1.1">
<style type="text/css">
2014-12-15 13:37:43 +00:00
text, tspan {
2014-11-30 18:14:31 +00:00
font: 12px Arial;
}
path {
2014-12-15 13:37:43 +00:00
fill-opacity: 0;
stroke-width: 2px;
stroke: #000;
}
circle.pin {
fill: #6b6659;
stroke-width: 2px;
stroke: #000;
}
.anchor text, .any-character text {
fill: #fff;
}
.anchor rect, .any-character rect {
fill: #6b6659;
}
.escape text, .charset-escape text, .literal text {
fill: #000;
}
.escape rect, .charset-escape rect {
fill: #bada55;
}
.literal rect {
fill: #dae9e5;
}
2014-12-07 22:38:24 +00:00
.charset .charset-box {
fill: #cbcbba;
}
2014-12-15 17:24:32 +00:00
.subexp .subexp-label,
.charset .charset-label,
.match-fragment .repeat-label {
2014-12-08 02:16:23 +00:00
font-size: 10px;
}
2014-12-15 20:29:13 +00:00
.subexp .subexp-label,
.charset .charset-label {
dominant-baseline: text-after-edge;
}
.subexp .subexp-box {
2014-12-08 02:16:23 +00:00
stroke: #a0a0a0;
stroke-dasharray: 6,2;
stroke-width: 2px;
2014-12-15 13:37:43 +00:00
fill-opacity: 0;
2014-12-08 02:16:23 +00:00
}
2014-12-15 03:17:59 +00:00
.quote {
fill: #a0a0a0;
}
2014-11-30 18:14:31 +00:00
.placeholder text {
fill: #fff;
font-weight: bold;
}
.placeholder rect {
fill: #f00;
}
</style>
</svg>
</div>
2014-11-23 22:13:05 +00:00
</div>