diff options
author | Joris | 2025-04-16 09:20:45 +0200 |
---|---|---|
committer | Joris | 2025-04-16 09:20:45 +0200 |
commit | 9cac1c7bf46f0fee7392ec47ad445fe487bf6ef4 (patch) | |
tree | 46d19a695634a464c54f5ea04ab2ba5b69ccc7d3 /public/main.css | |
parent | 0561c607d8dbb4e927897066ceccd45269a45cbd (diff) |
Add interface to pick example to run
Diffstat (limited to 'public/main.css')
-rw-r--r-- | public/main.css | 41 |
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; +} |