diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-07 15:36:20 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-11-07 15:57:52 +0100 |
commit | fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c (patch) | |
tree | f99953c897acd0c2fabf75060e1845650547ccac /docs/css/main.scss | |
parent | 5d590242132b0f38fc04afed2c787dadfd8d6c2f (diff) | |
download | dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.tar.gz dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.tar.bz2 dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.zip |
Fix #1674: add search to doc site
Diffstat (limited to 'docs/css/main.scss')
-rw-r--r-- | docs/css/main.scss | 54 |
1 files changed, 50 insertions, 4 deletions
diff --git a/docs/css/main.scss b/docs/css/main.scss index c6b41594f..2fca7d8ea 100644 --- a/docs/css/main.scss +++ b/docs/css/main.scss @@ -15,8 +15,8 @@ $base-line-height: 1.5; $spacing-unit: 30px; -$text-color: #111; -$background-color: #fdfdfd; +$text-color: #efefef; +$background-color: #002B36; $brand-color: #2a7ae2; @@ -25,6 +25,8 @@ $blue-light: rgba(52, 152, 219, 0.12); $grey: #f8f8f8; $red: #de332e; +$link-color: $blue; + // content area $distance-top: 80px; $content-width: 1150px; @@ -49,6 +51,14 @@ html { box-sizing: inherit; } +*:focus { + outline: none; +} + +a, a:focus, a:hover, a:visited { + color: $link-color; +} + div#container { position: relative; max-width: $content-width; @@ -80,10 +90,25 @@ div#container { padding-right: 20px; width: $toc-width; + form#search-form { + input#search-box { + width: 100%; + border: 0; + height: 24px; + font-size: 14px; + padding-left: 4px; + } + + input#search-button { + margin-top: 3px; + } + } + > div { position: fixed; top: $distance-top; bottom: auto; + max-width: $toc-width; a > div#scala-logo { width: 64px; @@ -125,6 +150,21 @@ div#container { } } +h1#search { + margin-top: 50px; +} + +form#search-bar { + width: 100%; + > input { + width: 100%; + border: 0; + height: 24px; + font-size: 14px; + padding-left: 4px; + } +} + div.author-container { height: 50px; margin-bottom: 15px; @@ -155,7 +195,7 @@ ul.post-list { > li { div.date { - color: rgba(0,0,0,0.45); + color: rgba(255,255,255,0.55); } } } @@ -165,12 +205,18 @@ pre, code { border: 0; border-radius: 3px; background-color: $grey; + color: $background-color; font-family: $code-font-family; } +code { + padding-left: 0.1em; + padding-right: 0.1em; +} + body { font: 400 16px/1.5 "Helvetica Neue", Helvetica, Arial, sans-serif; - color: #111; + color: $text-color; } @include media-query(1166px) { |