diff options
Diffstat (limited to 'doc/reference.css')
| -rw-r--r-- | doc/reference.css | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/reference.css b/doc/reference.css index 4f17046..cd7de2c 100644 --- a/doc/reference.css +++ b/doc/reference.css | |||
| @@ -16,7 +16,6 @@ blockquote { margin-left: 3em; } | |||
| 16 | a[href] { color: #00007f; } | 16 | a[href] { color: #00007f; } |
| 17 | 17 | ||
| 18 | p.name { | 18 | p.name { |
| 19 | font-size: large; | ||
| 20 | font-family: monospace; | 19 | font-family: monospace; |
| 21 | padding-top: 1em; | 20 | padding-top: 1em; |
| 22 | } | 21 | } |