diff doc/style.css @ 1119:829f45bf988b

Tidy up and minor fixes.
author zas_
date Mon, 10 Nov 2008 19:37:17 +0000
parents 71c5b25b371a
children 86f281d6bac9
line wrap: on
line diff
--- a/doc/style.css	Mon Nov 10 18:02:09 2008 +0000
+++ b/doc/style.css	Mon Nov 10 19:37:17 2008 +0000
@@ -107,9 +107,6 @@
 	font-weight: bold;
 }
 
-.file_locations_subtitle {
-	font-weight: bold
-}
 
 p.note {
 	font-style: italic
@@ -158,3 +155,15 @@
 
 /* reference_keyboard_shortcuts.html */
 div.keyboard-shortcuts {text-align: center}
+.keyboard-shortcuts p { margin: 0.1em }
+td.keyboard-shortcuts-separator {background-color: white; font-size: 110%}
+.keyboard-shortcuts td+td+td { text-align: left}
+
+/* reference_management.html */
+.file_locations_subtitle {
+	font-weight: bold;
+	background-color: white;
+	text-align: center;
+}
+.file_locations p { margin: 0.1em }
+