diff --git a/share/style.css b/share/style.css
index 9f78f22dff16fabccb6009906ef1bd3513983d44..a9f7e15c55dc5856c44b1e693f868f9d76d5c31e 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: 600px;
+ height: 200px;
+}
+
div.footer
{
margin-left: auto;