Disobedience: show playing/random-play global prefs as checkboxes.

[disorder] / disobedience / manual / disobedience.css

diff --git a/disobedience/manual/disobedience.css b/disobedience/manual/disobedience.css
index 7a0f198298b17b00489baa0fa15d5d51143d5b00..04b6f800bf32b38c7a3e30d10771bc97643156d3 100644 (file)
--- a/disobedience/manual/disobedience.css
+++ b/disobedience/manual/disobedience.css
@@ -32,6 +32,17 @@ a {
   text-decoration: none
 }
 
+h2 a {
+  color: black
+}
+
+p.chapter a {
+  color: black;
+  font-family: helvetica,sans-serif;
+  font-weight: bold;
+  font-size: 18pt
+}
+
 a:active {
   color: red
 }
@@ -61,3 +72,20 @@ h2 {
   font-variant: normal;
   display: block
 }
+
+td {
+  vertical-align: top;
+  padding: 8px
+}
+
+td:first-child {
+  text-align: right
+}
+
+table {
+  margin-left: 2em
+}
+
+p.image {
+  text-align: center
+}