diff options
| -rw-r--r-- | docs/stylesheet.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/stylesheet.css b/docs/stylesheet.css index 2c3641782..ac938c5c5 100644 --- a/docs/stylesheet.css +++ b/docs/stylesheet.css @@ -49,6 +49,16 @@ h3 { margin-left: 10px; margin-right: 10px; color: #336699; + border-bottom: 2px solid #336699; +} + +h4 { + font: italic normal 14pt georgia; + letter-spacing: 1px; + margin-bottom: 0px; + margin-left: 10px; + margin-right: 10px; + border-bottom: 1px dashed black; } p { |