X-Git-Url: https://git.octo.it/?p=collection4.git;a=blobdiff_plain;f=share%2Fstyle.css;h=9e8668b64dddb03a3e4a98029e55f5cd966c68ed;hp=ad835779fc60da7bbeda47ada35797f2fa3db02e;hb=c4c851ce35ad88eff7f843dbced132f55b8a2f6c;hpb=d23e04f683e1b8e1aefb9d659cf30eec4881f66b

diff --git a/share/style.css b/share/style.css
index ad83577..9e8668b 100644
--- a/share/style.css
+++ b/share/style.css
@@ -1,6 +1,7 @@
 body
 {
 	font-family: sans-serif;
+	margin: 0;
 }
 
 a
@@ -18,6 +19,7 @@ a:hover
 #layout-table
 {
 	width: 100%;
+	margin: 1ex;
 }
 
 #layout-top-left,
@@ -72,6 +74,12 @@ a:hover
 	font-style: italic;
 }
 
+ul.menu
+{
+	border: 1px solid silver;
+	background-color: #fcfcfc;
+}
+
 #search-form
 {
 	position: relative;
@@ -151,6 +159,12 @@ a:hover
 	font-size: 90%;
 }
 
+#search-output li.instance.more
+{
+	padding-top: .5ex;
+	font-style: italic;
+}
+
 .breadcrump
 {
 	font-size: 90%;
@@ -168,6 +182,16 @@ a:hover
 	clear: both;
 }
 
+div.graph-img div.graph-buttons
+{
+	display: none;
+}
+
+div.graph-img:hover div.graph-buttons
+{
+	display: block;
+}
+
 .graph-img .graph-buttons.navigation
 {
 	position: absolute;
@@ -193,7 +217,7 @@ a:hover
 	cursor: pointer;
 }
 
-.graph-buttons .graph-button:hover
+.graph-buttons div.graph-button:hover
 {
 	border: 1px solid black;
 	background-color: white;
@@ -211,3 +235,13 @@ a:hover
 	margin-bottom: 1px;
 }
 
+div.footer
+{
+	margin-left: auto;
+	margin-right: auto;
+	padding: 0 1em;
+	border-top: 1px solid gray;
+	font-size: 80%;
+	font-style: italic;
+	text-align: right;
+}