diff --git a/website/static/playground.css b/website/static/playground.css index ed239bf5..d1b95192 100644 --- a/website/static/playground.css +++ b/website/static/playground.css @@ -1,9 +1,9 @@ html { background-color: #fafafa; color: #6a6a6a; - font-family: -apple-system, system-ui, BlinkMacSystemFont, "Segoe UI", - Roboto, Oxygen, Ubuntu, Cantarell, "Fira Sans", "Droid Sans", - "Helvetica Neue", Arial, sans-serif; + font-family: -apple-system, system-ui, BlinkMacSystemFont, "Segoe UI", Roboto, + Oxygen, Ubuntu, Cantarell, "Fira Sans", "Droid Sans", "Helvetica Neue", + Arial, sans-serif; font-size: 12px; line-height: 1.25; } @@ -15,6 +15,14 @@ body { margin: 0; } +#root, +.playground-container { + height: 100%; + display: flex; + flex: 1; + flex-direction: column; +} + header { display: flex; flex-wrap: nowrap; @@ -280,4 +288,4 @@ input[type="number"] { border: 6px solid transparent; border-bottom: none; border-top-color: #000; -} \ No newline at end of file +}