4812: improved button row appearance

diff --git a/docs/themes/default/styles.css b/docs/themes/default/styles.css
index 05b3a03..df20dbc 100644 (file)
--- a/docs/themes/default/styles.css
+++ b/docs/themes/default/styles.css
@@ -2039,6 +2039,14 @@ table.etabbed-table      {
        font-weight:bold;
 }
 
+.wizscreen .buttons {
+    padding-top: 2em;
+}
+
+.wizscreen .button {
+    margin: 0em 0.25em;
+}
+
 .navlist{
        list-style: none;
        display: inline;