diff options
Diffstat (limited to 'src/scaladoc/scala/tools/nsc/doc/html/resource/lib/ref-index.css')
-rw-r--r-- | src/scaladoc/scala/tools/nsc/doc/html/resource/lib/ref-index.css | 44 |
1 files changed, 35 insertions, 9 deletions
diff --git a/src/scaladoc/scala/tools/nsc/doc/html/resource/lib/ref-index.css b/src/scaladoc/scala/tools/nsc/doc/html/resource/lib/ref-index.css index 7d64b9c5c5..7cdcd9de21 100644 --- a/src/scaladoc/scala/tools/nsc/doc/html/resource/lib/ref-index.css +++ b/src/scaladoc/scala/tools/nsc/doc/html/resource/lib/ref-index.css @@ -1,10 +1,32 @@ +/* fonts */ +@font-face { + font-family: 'Source Code Pro'; + font-style: normal; + font-weight: 400; + src: url('source-code-pro-v6-latin-regular.eot'); + src: local('Source Code Pro'), local('SourceCodePro-Regular'), + url('source-code-pro-v6-latin-regular.eot?#iefix') format('embedded-opentype'), + url('source-code-pro-v6-latin-regular.woff') format('woff'), + url('source-code-pro-v6-latin-regular.ttf') format('truetype'); +} +@font-face { + font-family: 'Source Code Pro'; + font-style: normal; + font-weight: 700; + src: url('source-code-pro-v6-latin-700.eot'); + src: local('Source Code Pro Bold'), local('SourceCodePro-Bold'), + url('source-code-pro-v6-latin-700.eot?#iefix') format('embedded-opentype'), + url('source-code-pro-v6-latin-700.woff') format('woff'), + url('source-code-pro-v6-latin-700.ttf') format('truetype'); +} + body { - font-size: 10pt; - font-family: Arial, sans-serif; + font-size: 10pt; + font-family: Arial, sans-serif; } a { - color:#315479; + color:#315479; } .letters { @@ -15,16 +37,20 @@ a { border-bottom:1px solid gray; } -.entry { - border-bottom: 1px solid lightgray; - padding: 5px 0 8px; +div.entry { + padding: 0.5em; + background-color: #e1e7ed; + border-radius: 0.2em; + color: #103a51; + margin: 0.5em 0; } .name { - /* background-color:#E5E5E5; */ + font-family: "Source Code Pro"; + font-size: 1.1em; } .occurrences { margin-left: 1em; - margin-top: 5px; -}
\ No newline at end of file + margin-top: 5px; +} |