diff -r bf4420e9fa4d -r 2e16851ffecd ginebra2/chrome/demochrome/ChromeExplorer/style.css
--- a/ginebra2/chrome/demochrome/ChromeExplorer/style.css	Fri Jun 11 16:23:26 2010 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,60 +0,0 @@
-body {
-  font-family: Helvetica, Arial, sans-serif;
-  font-size: 0.9em;
-}
-
-p {
-  line-height: 1.5em;
-}
-
-ul#menu, ul#menu ul {
-  list-style-type:none;
-  margin: 0;
-  padding: 0;
-  width: 100%;
-}
-
-ul#menu a {
-  display: block;
-  text-decoration: none;	
-}
-
-ul#menu li {
-  margin-top: 1px;
-  background: #ccc;
-}
-
-ul#menu li a {
-  background: #333;
-  color: #fff;	
-  padding: 0.5em;
-}
-
-ul#menu li a:hover {
-  background: #000;
-}
-
-ul#menu li ul li a {
-  background: #ccc;
-  color: #000;
-  padding-left: 20px;
-}
-
-
-ul#menu li ul li a .anchor{
-  color: #666;
-  padding-left: 20px;
-  text-align: right;
-}
-
-ul#menu li ul li a:hover {
-  background: #aaa;
-  border-left: 5px #000 solid;
-  padding-left: 15px;
-}
-
-.code { border: 1px solid #ccc; list-style-type: decimal-leading-zero; padding: 5px; margin: 0; }
-.code code { display: block; padding: 3px; margin-bottom: 0; }
-.code li { background: #ddd; border: 1px solid #ccc; margin: 0 0 2px 2.2em; }
-.indent1 { padding-left: 1em; }
-.indent2 { padding-left: 2em; }
\ No newline at end of file