diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-03-17T10·30+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-03-17T10·30+0000 |
commit | 67eff20906899e315a6fbbaab02f18326ac5afb8 (patch) | |
tree | 61b5320a5707ca77d74a0ffc8194f3dbc071c31d /doc/manual/style.css | |
parent | ad3121a52dacba417387df543df573816cd15b55 (diff) |
* Manual updates.
Diffstat (limited to 'doc/manual/style.css')
-rw-r--r-- | doc/manual/style.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css index c97cb9cbf4b8..544acb61eba2 100644 --- a/doc/manual/style.css +++ b/doc/manual/style.css @@ -154,7 +154,7 @@ a:hover { background: #ffffcd; } Special elements: ***************************************************************************/ -tt +tt, code { color: #400000; } |