add a bit of padding below h1 for IE

diff --git a/docs/adk15ProgGuideDB/aspectj-docs.css b/docs/adk15ProgGuideDB/aspectj-docs.css
index 3f58ddb5744e4b3152f0a822619e19b0fff4ea23..884dfd758dc775d7cbc3804acca1bc95718bdd6a 100644 (file)
--- a/docs/adk15ProgGuideDB/aspectj-docs.css
+++ b/docs/adk15ProgGuideDB/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 ; 

diff --git a/docs/devGuideDB/aspectj-docs.css b/docs/devGuideDB/aspectj-docs.css
index 3f58ddb5744e4b3152f0a822619e19b0fff4ea23..884dfd758dc775d7cbc3804acca1bc95718bdd6a 100644 (file)
--- 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 ; 

diff --git a/docs/progGuideDB/aspectj-docs.css b/docs/progGuideDB/aspectj-docs.css
index 3f58ddb5744e4b3152f0a822619e19b0fff4ea23..884dfd758dc775d7cbc3804acca1bc95718bdd6a 100644 (file)
--- a/docs/progGuideDB/aspectj-docs.css
+++ b/docs/progGuideDB/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 ;