summaryrefslogtreecommitdiffstats
path: root/doc/_static
diff options
context:
space:
mode:
Diffstat (limited to 'doc/_static')
-rw-r--r--doc/_static/kerb.css16
1 files changed, 5 insertions, 11 deletions
diff --git a/doc/_static/kerb.css b/doc/_static/kerb.css
index 4a17f8fda..1eeebb71d 100644
--- a/doc/_static/kerb.css
+++ b/doc/_static/kerb.css
@@ -31,13 +31,12 @@ div.header-wrapper {
div.header {
padding-top: 10px;
- padding-bottom: 0px;
+ padding-bottom: 10px;
}
-div.header h1 a {
- color: #5d1509;
- font-size: 120%;
- padding-top: 10px;
+div.header h1 {
+ font-family: "Georgia", "Times New Roman", serif, black;
+ font-weight: normal;
}
div.header div.right a {
@@ -47,11 +46,6 @@ div.header div.right a {
float: right;
}
-div.header div.rel{
- font-size: 50%;
- padding-bottom: 0px;
-}
-
/* Content */
div.document {
@@ -84,7 +78,7 @@ div.sidebar {
width: 20%;
margin: 0;
padding: 0;
- background: #F9F9F9;
+ background-color: white;
}
div.sidebar ul {