diff --git a/share/style.css b/share/style.css
index 9f78f22dff16fabccb6009906ef1bd3513983d44..fbcd1638e18cd2cc513eef8e11bbd99bd99e96da 100644 (file)
--- a/share/style.css
+++ b/share/style.css
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;
}
+.graph-json
+{
+ clear: both;
+ width: 324px;
+ height: 200px;
+}
+
div.footer
{
margin-left: auto;