diff options
Diffstat (limited to 'docs/css/main.css')
-rwxr-xr-x | docs/css/main.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docs/css/main.css b/docs/css/main.css index 13fe0b8195..83fc7c8ec9 100755 --- a/docs/css/main.css +++ b/docs/css/main.css @@ -20,6 +20,17 @@ font-size: 15px; } +.navbar .divider-vertical { + border-right-color: lightgray; +} + +.navbar-text .version-text { + border: solid thin lightgray; + border-radius: 6px; + padding: 5px; + margin-left: 10px; +} + body #content { line-height: 1.6; /* Inspired by Github's wiki style */ } |