diff options
Diffstat (limited to 'www/index.html')
-rw-r--r-- | www/index.html | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/www/index.html b/www/index.html index 1404993..55127df 100644 --- a/www/index.html +++ b/www/index.html | |||
@@ -6,17 +6,25 @@ | |||
6 | </head> | 6 | </head> |
7 | <style> | 7 | <style> |
8 | .grid-container { | 8 | .grid-container { |
9 | width: 100%; | ||
9 | display: grid; | 10 | display: grid; |
10 | grid-template-columns: 1fr 1fr; | 11 | grid-template-columns: 1fr 1fr; |
11 | grid-gap: 20px; | ||
12 | } | 12 | } |
13 | .syntax-node { | 13 | .syntax-node { |
14 | padding: 0px; | 14 | padding-left: 5px; |
15 | padding-left: 20px; | 15 | margin-left: 20px; |
16 | border-left: 2px solid white; | ||
17 | } | ||
18 | .syntax-node:hover { | ||
19 | border-left: 2px solid #ccc; | ||
16 | } | 20 | } |
17 | .syntax-err { | 21 | .syntax-err { |
18 | color: red; | 22 | color: red; |
19 | } | 23 | } |
24 | #cst, #source-code { | ||
25 | height: 100vh; | ||
26 | overflow: scroll; | ||
27 | } | ||
20 | pre { | 28 | pre { |
21 | padding: 0px; | 29 | padding: 0px; |
22 | margin: 0px | 30 | margin: 0px |