diff options
Diffstat (limited to 'www/index.html')
| -rw-r--r-- | www/index.html | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/www/index.html b/www/index.html index 01ba57d..1404993 100644 --- a/www/index.html +++ b/www/index.html | |||
| @@ -10,15 +10,24 @@ | |||
| 10 | grid-template-columns: 1fr 1fr; | 10 | grid-template-columns: 1fr 1fr; |
| 11 | grid-gap: 20px; | 11 | grid-gap: 20px; |
| 12 | } | 12 | } |
| 13 | .syntax-node { | ||
| 14 | padding: 0px; | ||
| 15 | padding-left: 20px; | ||
| 16 | } | ||
| 17 | .syntax-err { | ||
| 18 | color: red; | ||
| 19 | } | ||
| 20 | pre { | ||
| 21 | padding: 0px; | ||
| 22 | margin: 0px | ||
| 23 | } | ||
| 13 | </style> | 24 | </style> |
| 14 | <body> | 25 | <body> |
| 15 | <noscript>This page contains webassembly and javascript content, please enable javascript in your browser.</noscript> | 26 | <noscript>This page contains webassembly and javascript content, please enable javascript in your browser.</noscript> |
| 16 | <script src="./bootstrap.js"></script> | 27 | <script src="./bootstrap.js"></script> |
| 17 | <div class="grid-container"> | 28 | <div class="grid-container"> |
| 18 | <div id="source-code"></div> | 29 | <div id="source-code"></div> |
| 19 | <div> | 30 | <div id="cst"> |
| 20 | <pre id="cst"> | ||
| 21 | </pre> | ||
| 22 | </div> | 31 | </div> |
| 23 | </div> | 32 | </div> |
| 24 | <!-- button id="gen-cst">Generate CST</button --> | 33 | <!-- button id="gen-cst">Generate CST</button --> |