diff options
Diffstat (limited to 'docs/devGuideDB/aspectj-docs.css')
| -rw-r--r-- | docs/devGuideDB/aspectj-docs.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/devGuideDB/aspectj-docs.css b/docs/devGuideDB/aspectj-docs.css index 3f58ddb57..884dfd758 100644 --- a/docs/devGuideDB/aspectj-docs.css +++ b/docs/devGuideDB/aspectj-docs.css @@ -3,6 +3,11 @@ body { line-height: 1.1em; } +h1 { + margin-bottom: 3px; + padding-bottom: 5px; +} + h2 { font-size: 130%; font-weight: bold ; |