diff options
| -rw-r--r-- | doc/style.css | 1 |
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; |