commit d16e00a72b89d1b696f0712a4556fc76a2253831 (patch)
parent 02989361feadd7996c099a839b99e69bd68ed845
Author: Hiltjo Posthuma <hiltjo@codemadness.org>
Date: Mon, 7 Dec 2015 18:57:03 +0100
style.css: improve style, add highlight colors for diff
Diffstat:
M | style.css | | | 41 | ++++++++++++++++++++++++++++++++++++++++- |
1 file changed, 40 insertions(+), 1 deletion(-)
diff --git a/style.css b/style.css
@@ -4,20 +4,59 @@ body {
background-color: #fff;
}
-h1, h2 {
+h1, h2, h3, h4, h5, h6 {
+ margin: 0;
+}
+
+img, h1, h2 {
vertical-align: middle;
}
+table thead td {
+ font-weight: bold;
+}
+
+table td {
+ padding: 0 3px;
+}
+
+table tr:hover td {
+ background-color: #ddd;
+}
+
h1 {
font-size: 140%;
}
+.desc {
+ font-size: 100%;
+ color: #777;
+}
+
+h1 img {
+ height: 32px;
+}
+
hr {
color: #777;
background-color: #777;
+ border: 0;
border-top: 1px solid #777;
}
pre {
font-family: monospace;
}
+
+pre span.i {
+ color: green;
+}
+
+pre span.d {
+ color: red;
+}
+
+pre span a {
+ text-decoration: none;
+ color: inherit;
+}