diff doc/style.css @ 1127:ad40d1ec0726

Page cleanup and fixed. Remove obsolete note.
author zas_
date Mon, 10 Nov 2008 23:36:12 +0000
parents e09f504d7f11
children e0d275b9ebaa
line wrap: on
line diff
--- a/doc/style.css	Mon Nov 10 23:15:42 2008 +0000
+++ b/doc/style.css	Mon Nov 10 23:36:12 2008 +0000
@@ -173,9 +173,20 @@
 div.fullscreen-shortcuts {
 	text-align: center;
 }
+.fullscreen-shortcuts p {
+	margin: 0.1em;
+}
+td.fullscreen-shortcuts-separator {
+	background-color: white;
+	font-size: 110%;
+}
+
 div.fullscreen-functions {
 	text-align: center;
 }
+.fullscreen-functions p {
+	margin: 0.1em;
+}
 
 /* image_search_finding_duplicates.html */
 div.find-duplicates-shortcuts {