- general CSS based themeing support.

- added setup option to select theme.
- added search scheme for themable images and stylesheets.
- added marine (default) and redwine theme.
- documented new features. All developers must read
  doc/dev-conventions.txt

1 files changed, 2 insertions, 2 deletions

diff --git a/css/styles.css b/css/styles.css
index 3bda69a..2f89a67 100644
--- a/css/styles.css
+++ b/css/styles.css
@@ -124,7 +124,7 @@ div.domTTepg {
 
 div.menu {
 	background: #000057  url(menu_line_bg.png) repeat-x;
-	min-height: 30px;
+	min-height: 27px;
 	margin: 0;
 	padding: 0 0 0 10px;
 	line-height: 20px;
@@ -204,7 +204,7 @@ div.pagemenu span {
 
 div.pagemenu span.sep {
 	text-decoration: none;
-	color: grey;
+	color: #C0C1DA;
 	font-weight: lighter;
 	padding: 5px;
 }