From 76ee2cd1a7ba2141b5913ac6484b377fb3de3618 Mon Sep 17 00:00:00 2001
From: Florian Forster <ff@octo.it>
Date: Sun, 27 Jun 2010 12:15:41 +0200
Subject: [PATCH 1/1] share/style.css: Make the page a bit nicer to look at.

---
 share/style.css | 60 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 60 insertions(+)

diff --git a/share/style.css b/share/style.css
index ac00a2b..094a4ae 100644
--- a/share/style.css
+++ b/share/style.css
@@ -3,6 +3,18 @@ body
 	font-family: sans-serif;
 }
 
+a
+{
+	color: rgb(0,0,240);
+	text-decoration: none;
+}
+
+a:hover
+{
+	color: rgb(32,32,255);
+	text-decoration: underline;
+}
+
 #layout-table
 {
 	width: 100%;
@@ -61,6 +73,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 +143,13 @@ body
 
 	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);
+}
-- 
2.30.2