aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/style.css11
1 files changed, 6 insertions, 5 deletions
diff --git a/doc/style.css b/doc/style.css
index f876c6b..7f154ec 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -81,7 +81,7 @@ a:link {
color: #546E00;
}
a:visited {
- color: #344E00;
+ color: #354500;
}
a:hover {
text-decoration: underline;
@@ -486,7 +486,7 @@ ul, ol {
position: relative;
}
#topbar a, #topbar a:visited {
- color: #94C200;
+ color: #9DB359;
}
#title a, #title a:visited {
color: #FFF;
@@ -574,6 +574,7 @@ table tr:last-child td:last-child {
padding: 0;
}
.description {
+ margin-top: 0.25em;
margin-bottom: 0.75em;
}
.blankdesc {
@@ -680,14 +681,14 @@ h1, h2, h3, h4, h5, h6, th {
text-align: left;
}
.error {
- color: red;
+ color: #DC322F;
font-weight: bold;
}
.warning {
- color: orange;
+ color: #B58900;
font-weight: bold;
}
.success {
- color: green;
+ color: #859900;
font-weight: bold;
}