aboutsummaryrefslogtreecommitdiff
path: root/www/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'www/index.html')
-rw-r--r--www/index.html91
1 files changed, 91 insertions, 0 deletions
diff --git a/www/index.html b/www/index.html
new file mode 100644
index 0000000..827a583
--- /dev/null
+++ b/www/index.html
@@ -0,0 +1,91 @@
1<!DOCTYPE html>
2<html>
3 <head>
4 <meta charset="utf-8">
5 <title>CSTea</title>
6 <link rel="preconnect" href="https://fonts.gstatic.com">
7 <link href="https://fonts.googleapis.com/css2?family=IBM+Plex+Mono&display=swap" rel="stylesheet">
8 </head>
9 <style>
10
11html, body {
12 margin: 0;
13 font-family: 'IBM Plex Mono', monospace !important;
14 font-size: 14px;
15}
16
17.grid-container {
18 width: 100%;
19 display: grid;
20 grid-template-columns: 1fr 1fr;
21}
22
23.syntax-node {
24 padding-left: 5px;
25 margin-left: 20px;
26 background-color: #2c313a;
27}
28
29.syntax-node:hover {
30 background-color: #545c6933;
31}
32
33.syntax-err {
34 color: #e06c75;
35}
36
37.header {
38 text-align: center;
39 padding: 12px 0;
40}
41
42#cst, #source-code, .header,
43a, a:hover, a:visited {
44 background-color: #282c34;
45 color: #a3aab6;
46}
47
48#cst, #source-code {
49 height: 100vh;
50 overflow: scroll;
51}
52
53.cm-editor * {
54 font-family: 'IBM Plex Mono', monospace;
55}
56
57pre {
58 padding: 0px;
59 margin: 0px;
60 font-family: 'IBM Plex Mono', monospace;
61}
62
63span.kind {
64 color: #a3aab6;
65}
66
67span.range {
68 font-size: 11px;
69 color: #a3aab688;
70}
71
72span.token-text {
73 color: #98c379;
74}
75
76 </style>
77 <body>
78 <noscript>This page contains webassembly and javascript content, please enable javascript in your browser.</noscript>
79 <script src="./bootstrap.js"></script>
80 <div class="header">
81 explore nix csts
82 · <a href="https://git.peppe.rs/web/cstea-nix/about">src</a>
83 · <a href="https://git.peppe.rs/web/cstea-nix/plain/license">license</a>
84 </div>
85 <div class="grid-container">
86 <div id="source-code"></div>
87 <div id="cst">
88 </div>
89 </div>
90 </body>
91</html>