Make the navigation bar prettier

diff --git a/website/example/example.css b/website/example/example.css
index 2324f08664a46e8648edf09b2d711f68f356c33e..df201ea764099fdca07e87f788863da7294f5662 100644 (file)
--- a/website/example/example.css
+++ b/website/example/example.css
@@ -50,3 +50,31 @@ span.footcopy      { color: black;
                      font-size: 70%;
                      font-family: Arial, sans-serif;
                    }
+
+SPAN.curpage           { color: yellow;
+                         font-style: italic; }
+SPAN.curpage A         { color: white; }
+SPAN.curpage A:link    { color: white; }
+SPAN.curpage A:visited { color: white; }
+
+SPAN.toplevel A          { color: white; }
+SPAN.toplevel A:link     { color: white; }
+SPAN.toplevel A:visited  { color: white; }
+
+SPAN.otherpage           { color: white; }
+SPAN.otherpage A         { color: white; }
+SPAN.otherpage A:link    { color: white; }
+SPAN.otherpage A:visited { color: white; }
+
+SPAN.descendant A         { color: white; }
+SPAN.descendant A:link    { color: white; }
+SPAN.descendant A:visited { color: white; }
+
+SPAN.ancestor A         { color: white; }
+SPAN.ancestor A:link    { color: white; }
+SPAN.ancestor A:visited { color: white; }
+
+SPAN.shrink1           { font-size: 80%; }
+SPAN.shrink2           { font-size: 70%; }
+SPAN.shrink3           { font-size: 70%; }
+