PATCH: [ 2002091 ] Manual: Tweak <authorgroup> and <toc> styling

diff --git a/Docs/Users/Manual/css/all.css b/Docs/Users/Manual/css/all.css
index 2189570..1db6345 100644 (file)
--- a/Docs/Users/Manual/css/all.css
+++ b/Docs/Users/Manual/css/all.css
@@ -136,4 +136,30 @@ div.index {
 }
 .variablelist dd p {
   margin-top: 0.5em;
+}
+
+/* authorgroup */
+.authorgroup {
+  margin-left: 2em;
+}
+.author h3 {
+  margin: 0;
+  margin-bottom: 0.25em;
+  padding: 0;
+  font-size: 100%;
+}
+
+/* table of contents */
+.toc dt {
+  margin-top: 1em;
+}
+.toc dd dl dt {
+  margin-top: 0;
+}
+
+.toc .sect1,
+.toc .appendix,
+.toc .index {
+  font-size: 120%;
+  font-weight: bold;
 }
\ No newline at end of file

diff --git a/Docs/Users/Manual/css/help.css b/Docs/Users/Manual/css/help.css
index 5350e9d..79e5666 100644 (file)
--- a/Docs/Users/Manual/css/help.css
+++ b/Docs/Users/Manual/css/help.css
@@ -111,4 +111,15 @@ a[name]:hover { color:black; text-decoration:none; }
 }
 .variablelist dd p {
   margin-top: 0.5em;
+}
+
+/* authorgroup */
+.authorgroup {
+  margin-left: 2em;
+}
+.author h3 {
+  margin: 0;
+  margin-bottom: 0.25em;
+  padding: 0;
+  font-size: 100%;
 }
\ No newline at end of file

diff --git a/Docs/Users/Manual/css/print.css b/Docs/Users/Manual/css/print.css
index 732e490..fb0c691 100644 (file)
--- a/Docs/Users/Manual/css/print.css
+++ b/Docs/Users/Manual/css/print.css
@@ -121,4 +121,30 @@ a:active { color:black; text-decoration:none; }
 }
 .variablelist dd p {
   margin-top: 0.5em;
+}
+
+/* authorgroup */
+.authorgroup {
+  margin-left: 2em;
+}
+.author h3 {
+  margin: 0;
+  margin-bottom: 0.25em;
+  padding: 0;
+  font-size: 100%;
+}
+
+/* table of contents */
+.toc dt {
+  margin-top: 1em;
+}
+.toc dd dl dt {
+  margin-top: 0;
+}
+
+.toc .sect1,
+.toc .appendix,
+.toc .index {
+  font-size: 120%;
+  font-weight: bold;
 }
\ No newline at end of file