From 9269863fbdcd94cce39582f6638d9f94bdaa1706 Mon Sep 17 00:00:00 2001 From: tim-zh Date: Mon, 14 Nov 2016 18:17:10 +0300 Subject: readme.md handling --- tools/gui/resources/web/styles.css | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'tools/gui/resources/web/styles.css') diff --git a/tools/gui/resources/web/styles.css b/tools/gui/resources/web/styles.css index 759dd06..6e2bc8e 100644 --- a/tools/gui/resources/web/styles.css +++ b/tools/gui/resources/web/styles.css @@ -31,7 +31,10 @@ hr { } pre { - margin: 0 0 1em 0; + margin: 0; + font-size: 1rem; + background: #000; + padding: 0.2em; } button, .small-btn { @@ -218,6 +221,7 @@ button, .entry { #example-browser { width: 100%; float: left; + margin-bottom: 1em; } #file-browser { @@ -245,17 +249,21 @@ button, .entry { } .browser-node > div { - margin-left: 2em; + margin-left: 1em; } .file-node { cursor: pointer; } -.file-node:hover, .selected-node { +.file-node:hover { color: #dc322f; } +.selected-node { + color: #27b3d9; +} + .even-node { background: #073642; } -- cgit v1.2.3