aboutsummaryrefslogtreecommitdiff
path: root/public/main.css
diff options
context:
space:
mode:
authorJoris2025-04-16 09:20:45 +0200
committerJoris2025-04-16 09:20:45 +0200
commit9cac1c7bf46f0fee7392ec47ad445fe487bf6ef4 (patch)
tree46d19a695634a464c54f5ea04ab2ba5b69ccc7d3 /public/main.css
parent0561c607d8dbb4e927897066ceccd45269a45cbd (diff)
Add interface to pick example to run
Diffstat (limited to 'public/main.css')
-rw-r--r--public/main.css41
1 files changed, 41 insertions, 0 deletions
diff --git a/public/main.css b/public/main.css
new file mode 100644
index 0000000..8a0da32
--- /dev/null
+++ b/public/main.css
@@ -0,0 +1,41 @@
+body {
+ margin: 0;
+ font-family: sans-serif;
+}
+
+header {
+ padding: 1rem;
+ background-color: #333;
+ color: white;
+}
+
+h1 {
+ margin: 0;
+}
+
+nav button {
+ margin-bottom: 0.5rem;
+ padding: 0.5rem;
+ width: 100%;
+ cursor: pointer;
+ border: none;
+ font-size: 1rem;
+}
+
+nav button.selected {
+ background-color: #833;
+ color: white;
+}
+
+main {
+ display: flex;
+}
+
+ul {
+ list-style-type: none;
+ padding: 0 1rem;
+}
+
+section {
+ margin: 1rem;
+}