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 9f78f22..9e8668b 100644 (file)
--- a/share/style.css
+++ b/share/style.css
@@ -74,6 +74,12 @@ a:hover
        font-style: italic;
 }
 
+ul.menu
+{
+       border: 1px solid silver;
+       background-color: #fcfcfc;
+}
+
 #search-form
 {
        position: relative;
@@ -153,6 +159,12 @@ a:hover
        font-size: 90%;
 }
 
+#search-output li.instance.more
+{
+       padding-top: .5ex;
+       font-style: italic;
+}
+
 .breadcrump
 {
        font-size: 90%;