|
@@ -631,6 +631,10 @@ dt:hover > a.headerlink {
|
|
visibility: hidden;
|
|
visibility: hidden;
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+h2, h3, h4, h5, h6 {
|
|
|
|
+ margin-top: 0.7em;
|
|
|
|
+}
|
|
|
|
+
|
|
/* =====================================
|
|
/* =====================================
|
|
Miscellaneous information
|
|
Miscellaneous information
|
|
====================================== */
|
|
====================================== */
|