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 3f2cf59..9e8668b 100644 (file)
--- a/share/style.css
+++ b/share/style.css
@@ -1,6 +1,7 @@
 body
 {
        font-family: sans-serif;
+       margin: 0;
 }
 
 a
@@ -18,6 +19,7 @@ a:hover
 #layout-table
 {
        width: 100%;
+       margin: 1ex;
 }
 
 #layout-top-left,
@@ -72,6 +74,12 @@ a:hover
        font-style: italic;
 }
 
+ul.menu
+{
+       border: 1px solid silver;
+       background-color: #fcfcfc;
+}
+
 #search-form
 {
        position: relative;
@@ -151,6 +159,12 @@ a:hover
        font-size: 90%;
 }
 
+#search-output li.instance.more
+{
+       padding-top: .5ex;
+       font-style: italic;
+}
+
 .breadcrump
 {
        font-size: 90%;
@@ -221,3 +235,13 @@ div.graph-img:hover div.graph-buttons
        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;
+}