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 4c3392c065e737d46cb7d47306460b54a4355dc3..04b6f800bf32b38c7a3e30d10771bc97643156d3 100644 (file)
--- a/disobedience/manual/disobedience.css
+++ b/disobedience/manual/disobedience.css
@@ -78,6 +78,10 @@ td {
   padding: 8px
 }
 
+td:first-child {
+  text-align: right
+}
+
 table {
   margin-left: 2em
 }