diff --git a/website/pages/playground/index.html b/website/pages/playground/index.html index 25f4d3f47..b128b52ba 100644 --- a/website/pages/playground/index.html +++ b/website/pages/playground/index.html @@ -112,6 +112,7 @@ .editors-container { display: flex; flex: 1; + min-height: 0; } .editors { @@ -163,17 +164,14 @@ } .bottom-bar-buttons { - position: absolute; z-index: 10; - top: 0; - left: 0; padding: 8px; display: flex; + float: left; } .bottom-bar-buttons-right { - left: auto; - right: 0; + float: right; } .bottom-bar-buttons > * + * { @@ -192,47 +190,51 @@ } } - .options-details { - padding: 8px 0; - } - - .options-summary { - font-size: 1.4em; - text-align: center; - } - .options-container { - display: flex; - flex-flow: row wrap; - justify-content: space-around; + display: none; + box-sizing: border-box; + width: 225px; + height: 100%; + border-bottom: 1px solid #ddd; + flex: 0 1 auto; + } + + .options-container.open { + display: block; } .options { - flex-flow: column wrap; + display: flex; + flex-direction: column; + max-height: 100%; + overflow: auto; + } + + .sub-options { flex: 1; display: flex; - justify-content: space-around; - padding: 0 10px; - margin: 5px; - margin-bottom: 0; - min-width: 150px; + padding: 15px 0 10px; + border-bottom: 1px solid #ddd; + } + + .sub-options:last-child { + border: 0; + } + + .sub-options > summary { + font-size: 14px; + font-weight: bold; + padding-bottom: 5px; + } + + .sub-options > * { + margin-left: 10px; } label { font-family: "Consolas", "Courier New", Courier, monospace; - margin: 0 10px; - } - - @media (max-width: 408px) { - label { - padding: 8px; - } - .options-container { - flex-direction: column-reverse; - } - .options.last { - flex-direction: column-reverse; - } + margin: 10px 0; + display: block; } input[type="number"] { @@ -318,6 +320,76 @@