share/style.css: Make the page a bit nicer to look at.

[collection4.git] / share / style.css

diff --git a/share/style.css b/share/style.css
index aafe97c..094a4ae 100644 (file)
--- a/share/style.css
+++ b/share/style.css
@@ -3,14 +3,123 @@ body
        font-family: sans-serif;
 }
 
-ul.graph_list
+a
+{
+       color: rgb(0,0,240);
+       text-decoration: none;
+}
+
+a:hover
+{
+       color: rgb(32,32,255);
+       text-decoration: underline;
+}
+
+#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;
+}
+
+#logo-canvas
+{
+       display: block;
+       text-decoration: none;
+       color: black;
+}
+
+#logo-canvas h1
+{
+       margin: 0;
+}
+
+#logo-subscript
+{
+       font-size: 90%;
+       font-style: italic;
+}
+
+#search-form
+{
+       position: relative;
+}
+
+#search-suggest
+{
+       position: absolute;
+       background-color: rgba(255,255,255,.8);
+       margin: 0;
+       padding: 0.5ex;
+       border: 1px solid black;
+       list-style: none;
+}
+
+#search-suggest ul.instance_list
+{
+       margin: 0;
+       padding: 0;
+       list-style: none;
+}
+
+#search-suggest li
+{
+       margin: 0;
+       padding: 0;
+}
+
+#search-suggest a
+{
+       display: block;
+       margin: 0;
+       padding: 0;
+       color: #2d6195;
+       background-color: transparent;
+}
+
+#search-suggest li.instance a
+{
+       padding-left: 1em;
+}
+
+#search-suggest a:hover
+{
+       color: white;
+       background-color: #408dd8;
+}
+
+#search-output ul.graph_list
 {
        margin: 0;
        padding: 1ex;
-       width: 50ex;
 }
 
-li.graph
+#search-output li.graph
 {
        display: block;
        border: 1px solid gray;
@@ -19,7 +128,7 @@ li.graph
        background-color: rgb(245,245,255);
 }
 
-ul.instance_list
+#search-output ul.instance_list
 {
        margin: 0;
        padding: 1ex;
@@ -28,9 +137,19 @@ ul.instance_list
        background-color: rgb(252,252,252);
 }
 
-li.instance
+#search-output li.instance
 {
        display: block;
 
        font-size: 90%;
 }
+
+.breadcrump
+{
+       font-size: 90%;
+       margin: 1ex 0 1ex 0;
+       padding: 0 0 0 2em;
+       border-top: 1px solid silver;
+       border-bottom: 1px solid silver;
+       background-color: rgb(252,252,252);
+}