summaryrefslogtreecommitdiff
path: root/src/scaladoc/scala/tools/nsc/doc/html/resource/lib/ref-index.css
diff options
context:
space:
mode:
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.css44
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;
+}