diff options
Diffstat (limited to 'public/manual/en/html.css')
| -rw-r--r-- | public/manual/en/html.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/public/manual/en/html.css b/public/manual/en/html.css index c5eb0ef96..c9594a30b 100644 --- a/public/manual/en/html.css +++ b/public/manual/en/html.css @@ -54,6 +54,12 @@ pre.programlisting { white-space: pre; } +code.code { + padding: 2px; + font-size: 10pt; + white-space: pre; +} + li p { margin-top: 3px; margin-bottom: 3px; |