From fb181667b5341dd1eb7e95fb0ed8e272899c5618 Mon Sep 17 00:00:00 2001 From: John Doty Date: Sat, 2 Nov 2024 09:57:17 -0700 Subject: [PATCH] [dingus] Home tweaks --- dingus/index.html | 8 +++++--- dingus/style.css | 14 ++++++++++++-- 2 files changed, 17 insertions(+), 5 deletions(-) diff --git a/dingus/index.html b/dingus/index.html index 82caab3..50ebcd6 100644 --- a/dingus/index.html +++ b/dingus/index.html @@ -4,17 +4,19 @@ Dingus - -
+
+

Grammar Dingus

+ What is this? +
+
Write Your Grammar Here
diff --git a/dingus/style.css b/dingus/style.css index 2da25ab..d2244c0 100644 --- a/dingus/style.css +++ b/dingus/style.css @@ -1,14 +1,18 @@ -/* set codemirror ide height to 100% of the textarea */ body { height: 100vh; box-sizing: border-box; margin: 0; } +h1 { + margin-top: 0; + margin-bottom: 0.25rem; +} + .page-container { display: grid; grid-template-columns: 1fr 1fr 1fr; - grid-template-rows: 4rem 2rem 1fr 2rem; + grid-template-rows: auto 2rem 1fr 2rem; width: 100%; height: 100%; } @@ -33,6 +37,12 @@ body { border-top: 1px solid; } +.page-title { + grid-column: 1 / 4; + grid-row: 1; + padding: 0.5rem; +} + .grammar-title { grid-column: 1; grid-row: 2;