aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/style.css57
1 files changed, 35 insertions, 22 deletions
diff --git a/doc/style.css b/doc/style.css
index afb41f7..c8b89de 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -72,6 +72,9 @@ html, body {
color: #000;
margin: 0;
padding: 0;
+ max-width: 60em;
+ margin-left: auto;
+ margin-right: auto;
}
a:link, a:visited {
text-decoration: none;
@@ -101,20 +104,20 @@ h2 {
font-weight: 700;
}
h3 {
- font-size: 130%;
+ font-size: 120%;
font-weight: 700;
}
h4 {
- font-size: 120%;
+ font-size: 110%;
font-weight: 700;
}
h5 {
- font-size: 110%;
+ font-size: 100%;
font-weight: 700;
}
h6 {
font-size: 100%;
- font-weight: 700;
+ font-weight: 600;
}
#titlebox, #meta {
display: inline-block;
@@ -137,8 +140,8 @@ h6 {
#meta tr, #meta th, #meta td {
border: 0;
font-weight: normal;
- padding: 0.125em 0.25em 0.125em 0.25em;
- background-color: transparent;
+ padding: 0.125em 0.25em 0.125em 0.25em;
+ background-color: transparent;
}
#meta th {
text-align: right;
@@ -146,12 +149,6 @@ h6 {
#meta th:after {
content: ": ";
}
-#title {
- font-size: 200%;
- font-weight: 700;
- margin: 0;
- padding: 0;
-}
#subtitle {
font-size: small;
}
@@ -455,7 +452,7 @@ a:active {
}
.sec {
color: #000;
- margin: 0.5em 1em 0.5em 1em;
+ margin: 0.5em 0 0.5em 0;
padding: 1ex 0 0.5ex 0;
}
ul, ol {
@@ -470,19 +467,32 @@ ul, ol {
font-size: small;
}
#topbar {
- background-color: #222;
- background: linear-gradient(to bottom, #444 0%, #000 100%);
- border-bottom: solid 2px #444;
- border-radius: 0 0 6px 6px;
- color: #EEE;
- margin: 0;
- margin-left: auto;
- margin-right: auto;
- padding: 0.25em 0.5em 0em 0.5em;
+ background-color: #222;
+ background: linear-gradient(to bottom, #444 0%, #000 100%);
+ border-bottom: solid 2px #333;
+ border-left: solid 2px #333;
+ border-right: solid 2px #333;
+ border-radius: 0 0 6px 6px;
+ color: #EEE;
+ margin: 0;
+ margin-left: auto;
+ margin-right: auto;
+ padding: 0.25em 0.5em 0em 0.5em;
+ max-width: 60em;
+ position: relative;
}
#topbar a, #topbar a:visited {
color: #70957E;
}
+#title {
+ font-size: 200%;
+ font-weight: 700;
+ margin: 0;
+ padding: 0;
+}
+#title a, #title a:visited {
+ color: #FFF;
+}
#contents li {
display: inline;
list-style-type: none;
@@ -491,6 +501,9 @@ ul, ol {
}
.content {
margin: 0 2em 0 2em;
+ max-width: 60em;
+ margin-left: auto;
+ margin-right: auto;
}
.label {
font-style: italic;