diff --git a/share/style.css b/share/style.css
index aafe97cd0c4f98dceb0a63b43161aa5481c5b26d..740ae3365f2dd85b847630c57a9b918e0cd466c2 100644 (file)
--- a/share/style.css
+++ b/share/style.css
font-family: sans-serif;
}
-ul.graph_list
+#layout-table
+{
+ width: 100%;
+}
+
+#layout-top-left,
+#layout-middle-left,
+#layout-bottom-left
+{
+ width: 10%;
+ min-width: 250px;
+}
+
+#layout-top-center,
+#layout-middle-center,
+#layout-bottom-center
+{
+}
+
+#layout-top-right,
+#layout-middle-right,
+#layout-bottom-right
+{
+ width: 10%;
+ min-width: 300px;
+}
+
+#layout-middle td
+{
+ vertical-align: top;
+}
+
+#search-form
+{
+ position: relative;
+}
+
+#search-suggest
+{
+ position: absolute;
+}
+
+#search-output ul.graph_list
{
margin: 0;
padding: 1ex;
- width: 50ex;
}
-li.graph
+#search-output li.graph
{
display: block;
border: 1px solid gray;
background-color: rgb(245,245,255);
}
-ul.instance_list
+#search-output ul.instance_list
{
margin: 0;
padding: 1ex;
background-color: rgb(252,252,252);
}
-li.instance
+#search-output li.instance
{
display: block;