diff options
Diffstat (limited to 'tools/gui/resources/web/styles.css')
-rw-r--r-- | tools/gui/resources/web/styles.css | 75 |
1 files changed, 70 insertions, 5 deletions
diff --git a/tools/gui/resources/web/styles.css b/tools/gui/resources/web/styles.css index 6aa45e9..759dd06 100644 --- a/tools/gui/resources/web/styles.css +++ b/tools/gui/resources/web/styles.css @@ -30,12 +30,16 @@ hr { border-bottom: transparent solid 1px; } +pre { + margin: 0 0 1em 0; +} + button, .small-btn { background: #dc322f; color: #fff; font-size: 1em; padding: 0.2em; - border: transparent solid 0.1em; + border: none; border-radius: 1em; text-transform: uppercase; cursor: pointer; @@ -47,9 +51,14 @@ button, .small-btn { padding: 0 1em; } +.link-btn:hover { + color: #dc322f; + cursor: pointer; +} + button:hover { - background: #073642; - border: #fff solid 0.1em; + background: #fff; + color: #002B36; } button:active { @@ -57,7 +66,8 @@ button:active { } button:disabled { - background: transparent; + background: #073642; + color: #fff; cursor: default; } @@ -66,6 +76,7 @@ input[type="text"] { color: #fff; border: none; width: 33%; + min-width: 15em; font-size: 1em; } @@ -115,6 +126,10 @@ input[type="checkbox"]:checked + label:after { border-color: #dc322f; } +.stroke { + text-shadow: 0 1px 0 #002B36, 0 -1px 0 #002B36, 1px 0 0 #002B36, -1px 0 0 #002B36; +} + .container { margin: 0 8%; text-align: center; @@ -138,10 +153,11 @@ button, .entry { left: 0; right: 0; margin: 0 auto; + border: #002B36 solid 0.5em; background: #073642; width: 84%; max-height: 80%; - overflow-y: scroll; + overflow-y: auto; text-align: center; display: none; z-index: 2; @@ -194,3 +210,52 @@ button, .entry { #popup tr:first-child:hover { color: #002B36; } + +#flow-create, #flow-copy { + display: none; +} + +#example-browser { + width: 100%; + float: left; +} + +#file-browser { + overflow-x: auto; + padding-right: 0.4em; + float: left; + max-width: 30%; +} + +#code-browser { + background: #073642; + font-size: 1.2rem; + text-align: left; + padding: 0.4em; + overflow-x: auto; + max-height: 100%; +} + +.browser-node { + font-size: 1.2rem; + text-align: left; + line-height: 1.2em; + background: #002B36; + padding: 0.2em 0 0 0.2em; +} + +.browser-node > div { + margin-left: 2em; +} + +.file-node { + cursor: pointer; +} + +.file-node:hover, .selected-node { + color: #dc322f; +} + +.even-node { + background: #073642; +} |