diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-03-07 11:28:38 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-03-07 11:45:06 +0100 |
commit | e3ca418909cde338f926b33e372b0f7247eed744 (patch) | |
tree | 50df2d085043253a5dca5bc0d838807dd1e313d1 /src/scaladoc/scala/tools/nsc/doc/html/resource/lib/index.css | |
parent | 0f0afb50796e9f31b1070190dfafab8a3b24984d (diff) | |
download | scala-e3ca418909cde338f926b33e372b0f7247eed744.tar.gz scala-e3ca418909cde338f926b33e372b0f7247eed744.tar.bz2 scala-e3ca418909cde338f926b33e372b0f7247eed744.zip |
Add fallback typefaces for monospaced sections in scaladoc
This commit will also fix the `Filter All Members` input appearing if
there are no members - please see root for an example.
There's also a small CSS fix that addresses a vertical scrollbar on
smaller viewports (footer was not responsively resized).
review: @VladUreche
lol
Diffstat (limited to 'src/scaladoc/scala/tools/nsc/doc/html/resource/lib/index.css')
-rw-r--r-- | src/scaladoc/scala/tools/nsc/doc/html/resource/lib/index.css | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/scaladoc/scala/tools/nsc/doc/html/resource/lib/index.css b/src/scaladoc/scala/tools/nsc/doc/html/resource/lib/index.css index abb7ec4924..d805ccc1ac 100644 --- a/src/scaladoc/scala/tools/nsc/doc/html/resource/lib/index.css +++ b/src/scaladoc/scala/tools/nsc/doc/html/resource/lib/index.css @@ -412,7 +412,7 @@ div#content-container { div#content-container > div#content { -webkit-overflow-scrolling: touch; display: block; - overflow-y: auto; + overflow-y: hidden; max-width: 1140px; margin: 4em auto 0; } @@ -488,7 +488,7 @@ div#packages > ul > li > a.abstract.type { div#packages > ul > li > a { text-decoration: none !important; margin-left: 1px; - font-family: "Source Code Pro"; + font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace; font-size: 0.9em; } @@ -678,7 +678,7 @@ div#results-content > div#member-results > ul.entities > li > ul.members > li > div#results-content > div#entity-results > ul.entities > li > ul.members > li > span.kind, div#results-content > div#entity-results > ul.entities > li > ul.members > li > span.tail { margin-right: 0.6em; - font-family: "Source Code Pro"; + font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace; } div#results-content > div#member-results > ul.entities > li > ul.members > li > span.kind { @@ -688,7 +688,7 @@ div#results-content > div#member-results > ul.entities > li > ul.members > li > div#results-content > div#member-results > ul.entities > li > ul.members > li > a.label, div#results-content > div#entity-results > ul.entities > li > ul.members > li > a.label { color: #2C3D9B; - font-family: "Source Code Pro"; + font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace; } /** Scrollpane settings needed for jquery.scrollpane.min.js */ |