aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/style.css1
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/style.css b/doc/style.css
index eb11381..718f2a5 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -66,7 +66,6 @@ h6 {
padding: 1ex;
}
#title {
- /*color: #366d9c;*/
font-size: 200%;
font-weight: 700;
margin: .25ex 0 .5ex;