diff options
Diffstat (limited to 'docbook')
| -rw-r--r-- | docbook/ws.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docbook/ws.css b/docbook/ws.css index 5a9c843099..1531e50e5b 100644 --- a/docbook/ws.css +++ b/docbook/ws.css @@ -41,6 +41,7 @@ div.example p.title } body h1 { + font-size: 1.4em; margin: .0em 0 0 -4%; line-height: 1.3; border-bottom: 2px solid silver; |