From 8768c5d7bd06cd96bde1be19b336fafb5c72aa87 Mon Sep 17 00:00:00 2001 From: Rich Harris Date: Sun, 23 Dec 2018 22:00:35 -0500 Subject: [PATCH] minor site tweaks --- site/content/examples/hello-world/App.html | 6 +++--- site/src/routes/repl/_components/Output/index.html | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/site/content/examples/hello-world/App.html b/site/content/examples/hello-world/App.html index f6882abc09..70a9a95503 100644 --- a/site/content/examples/hello-world/App.html +++ b/site/content/examples/hello-world/App.html @@ -1,14 +1,14 @@

Hello {name}!

\ No newline at end of file diff --git a/site/src/routes/repl/_components/Output/index.html b/site/src/routes/repl/_components/Output/index.html index a245aa90f5..bc48577db1 100644 --- a/site/src/routes/repl/_components/Output/index.html +++ b/site/src/routes/repl/_components/Output/index.html @@ -58,7 +58,7 @@ position: relative; font: 300 1.2rem/1.5 var(--font-ui); border-bottom: var(--border-w) solid transparent; - padding: 1.2rem 1.5rem 0.8rem 1.5rem; + padding: 1.2rem 0.8rem 0.8rem 0.8rem; } button.active {