diff options
Diffstat (limited to 'doc/docs.css')
| -rw-r--r-- | doc/docs.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/docs.css b/doc/docs.css index c5c3cb437..d65f5aff5 100644 --- a/doc/docs.css +++ b/doc/docs.css @@ -129,7 +129,7 @@ h3 { } .darkcell { - font-family: courier, "courier new", serif; + /*font-family: courier, "courier new", serif;*/ margin:0px 0px 10px 0px; padding:4px 4px 4px 4px; background-color: #f0f0f0; |