Add a CSS file.

[collection4.git] / share / style.css

diff --git a/share/style.css b/share/style.css
new file mode 100644 (file)
index 0000000..aafe97c
--- /dev/null
+++ b/share/style.css
@@ -0,0 +1,36 @@
+body
+{
+       font-family: sans-serif;
+}
+
+ul.graph_list
+{
+       margin: 0;
+       padding: 1ex;
+       width: 50ex;
+}
+
+li.graph
+{
+       display: block;
+       border: 1px solid gray;
+       margin-top: 1ex;
+
+       background-color: rgb(245,245,255);
+}
+
+ul.instance_list
+{
+       margin: 0;
+       padding: 1ex;
+       border-top: 1px solid gray;
+
+       background-color: rgb(252,252,252);
+}
+
+li.instance
+{
+       display: block;
+
+       font-size: 90%;
+}