diff --git a/share/style.css b/share/style.css
index 3f2cf592852fd1b9141267495c8ba8ef6a8d27cb..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%;
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;
+}