src/graph_instance.[ch]: Implement "inst_data_to_json".

[collection4.git] / share / style.css

diff --git a/share/style.css b/share/style.css
index ac00a2b..9e8668b 100644 (file)
--- a/share/style.css
+++ b/share/style.css
@@ -1,11 +1,25 @@
 body
 {
        font-family: sans-serif;
+       margin: 0;
+}
+
+a
+{
+       color: rgb(0,0,240);
+       text-decoration: none;
+}
+
+a:hover
+{
+       color: rgb(32,32,255);
+       text-decoration: underline;
 }
 
 #layout-table
 {
        width: 100%;
+       margin: 1ex;
 }
 
 #layout-top-left,
@@ -35,6 +49,13 @@ body
        vertical-align: top;
 }
 
+#layout-middle-center h1,
+#layout-middle-center h2,
+#layout-middle-center h3
+{
+       clear: both;
+}
+
 #logo-canvas
 {
        display: block;
@@ -53,6 +74,12 @@ body
        font-style: italic;
 }
 
+ul.menu
+{
+       border: 1px solid silver;
+       background-color: #fcfcfc;
+}
+
 #search-form
 {
        position: relative;
@@ -61,6 +88,44 @@ body
 #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
@@ -93,3 +158,90 @@ body
 
        font-size: 90%;
 }
+
+#search-output li.instance.more
+{
+       padding-top: .5ex;
+       font-style: italic;
+}
+
+.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);
+}
+
+.graph-img
+{
+       position: relative;
+       float: left;
+       clear: both;
+}
+
+div.graph-img div.graph-buttons
+{
+       display: none;
+}
+
+div.graph-img:hover div.graph-buttons
+{
+       display: block;
+}
+
+.graph-img .graph-buttons.navigation
+{
+       position: absolute;
+       right: 5px;
+       bottom: 5px;
+}
+
+.graph-img .graph-buttons.presets
+{
+       position: absolute;
+       right: 5px;
+       top: 5px;
+}
+
+.graph-buttons .graph-button
+{
+       width: 1em;
+       height: 1em;
+       border: 1px solid gray;
+       text-align: center;
+       background-color: rgba(255,255,255,.8);
+       color: gray;
+       cursor: pointer;
+}
+
+.graph-buttons div.graph-button:hover
+{
+       border: 1px solid black;
+       background-color: white;
+       color: black;
+}
+
+.graph-buttons.navigation .graph-button
+{
+       float: left;
+       margin-left: 1px;
+}
+
+.graph-buttons.presets .graph-button
+{
+       margin-bottom: 1px;
+}
+
+div.footer
+{
+       margin-left: auto;
+       margin-right: auto;
+       padding: 0 1em;
+       border-top: 1px solid gray;
+       font-size: 80%;
+       font-style: italic;
+       text-align: right;
+}