docs: website: more header spacing tweaks

- remove top padding for h1. this means page titles sit flush with the top
  of the side bar (like 'The virtualization API' on the front page)
- up the top padding for the remaining sections. makes it visually easier
  to tell adjacent header sections apart, especially in dense wiki pages
- use two different spacing levels for h2-h4 and h5-h6,
  gives pages some more visual flexibility
- use a slightly lower bottom padding... this makes top padding stick out
  more which makes it visually easier to differentiate between adjacent
  header sections

diff --git a/docs/generic.css b/docs/generic.css
index 664e7195a89ea3a6a64bf812363b273af524e98e..aeea17fe8aca9644408ab505d99a7b0d4f6a07f0 100644 (file)
--- a/docs/generic.css
+++ b/docs/generic.css
@@ -48,26 +48,31 @@ h1, h2, h3, h4, h5, h6 {
   font-weight: bold;
   margin: 0px;
   padding: 0px;
-  margin-top: 0.5em;
-  margin-bottom: 0.5em;
+  margin-bottom: 0.25em;
   border-bottom: 1px solid #aaa;
 }
 
 h1 {
+  margin-top: 0em;
   font-size: 2em;
 }
 h2 {
+  margin-top: 1.0em;
   font-size: 1.6em;
 }
 h3 {
+  margin-top: 1.0em;
   font-size: 1.4em;
 }
 h4 {
+  margin-top: 1.0em;
   font-size: 1.2em;
 }
 h5 {
+  margin-top: 0.75em;
   font-size: 1em;
 }
 h6 {
+  margin-top: 0.75em;
   font-size: 0.8em;
 }