about summary refs log tree commit diff
path: root/src/doc/rust.css
diff options
context:
space:
mode:
Diffstat (limited to 'src/doc/rust.css')
-rw-r--r--src/doc/rust.css34
1 files changed, 24 insertions, 10 deletions
diff --git a/src/doc/rust.css b/src/doc/rust.css
index 26681adad6d..c69b59855a7 100644
--- a/src/doc/rust.css
+++ b/src/doc/rust.css
@@ -75,6 +75,14 @@ p {
     margin: 0 0 10px;
 }
 
+strong {
+    font-weight: bold;
+}
+
+em {
+    font-style: italic;
+}
+
 footer {
     border-top: 1px solid #ddd;
     font-size: 12px;
@@ -107,6 +115,8 @@ a:hover, a:active {
 h1 a:link, h1 a:visited, h2 a:link, h2 a:visited,
 h3 a:link, h3 a:visited, h4 a:link, h4 a:visited,
 h5 a:link, h5 a:visited {color: black;}
+h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover,
+h5 a:hover {text-decoration: none;}
 
 /* Code
    ========================================================================== */
@@ -144,16 +154,14 @@ pre code {
 /* Code highlighting */
 pre.rust .kw { color: #8959A8; }
 pre.rust .kw-2, pre.rust .prelude-ty { color: #4271AE; }
-pre.rust .number { color: #718C00; }
-pre.rust .self { color: #C13928; }
-pre.rust .boolval { color: #C13928; }
-pre.rust .prelude-val { color: #C13928; }
+pre.rust .number, pre.rust .string { color: #718C00; }
+pre.rust .self, pre.rust .boolval, pre.rust .prelude-val,
+pre.rust .attribute, pre.rust .attribute .ident { color: #C82829; }
 pre.rust .comment { color: #8E908C; }
 pre.rust .doccomment { color: #4D4D4C; }
-pre.rust .macro, pre.rust .macro-nonterminal { color: #3E999f; }
-pre.rust .string { color: #718C00; }
-pre.rust .lifetime { color: #C13928; }
-pre.rust .attribute, pre.rust .attribute .ident { color: #C82829; }
+pre.rust .macro, pre.rust .macro-nonterminal { color: #3E999F; }
+pre.rust .lifetime { color: #B76514; }
+
 
 /* The rest
    ========================================================================== */
@@ -162,7 +170,7 @@ pre.rust .attribute, pre.rust .attribute .ident { color: #C82829; }
     margin: 0.5em;
     font-size: 1.1em;
 }
-@media (min-width: 768px) {
+@media only screen, handheld and (min-width: 768px) {
     #versioninfo {
         position: fixed;
         bottom: 0px;
@@ -262,9 +270,12 @@ table th {
     a, a:visited {
         text-decoration: underline;
     }
-    a[href]:after {
+    p a[href]:after {
         content: " (" attr(href) ")";
     }
+    footer a[href]:after {
+        content: "";
+    }
     a[href^="javascript:"]:after, a[href^="#"]:after {
         content: "";
     }
@@ -275,6 +286,9 @@ table th {
     @page {
         margin: 2cm .5cm;
     }
+    h1:not(.title), h2, h3 {
+        border-bottom: 0px none;
+    }
     p, h2, h3 {
         orphans: 3;
         widows: 3;