diff --git a/share/style.css b/share/style.css
index ad835779fc60da7bbeda47ada35797f2fa3db02e..9e8668b64dddb03a3e4a98029e55f5cd966c68ed 100644 (file)
--- a/share/style.css
+++ b/share/style.css
body
{
font-family: sans-serif;
+ margin: 0;
}
a
#layout-table
{
width: 100%;
+ margin: 1ex;
}
#layout-top-left,
font-style: italic;
}
+ul.menu
+{
+ border: 1px solid silver;
+ background-color: #fcfcfc;
+}
+
#search-form
{
position: relative;
font-size: 90%;
}
+#search-output li.instance.more
+{
+ padding-top: .5ex;
+ font-style: italic;
+}
+
.breadcrump
{
font-size: 90%;
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;
cursor: pointer;
}
-.graph-buttons .graph-button:hover
+.graph-buttons div.graph-button:hover
{
border: 1px solid black;
background-color: white;
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;
+}