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