/* TOPMENU.CSS */
+/* Thierry : turning this off
body {
- /* background: #30196d !important; */
- background: black !important;
+ *//* background: #30196d !important; *//*
+ background: black !important;
padding-top: 60px;
padding-bottom: 0px;
}
+Thierry */
/* Thierry : turning this off
div.topmenu {
.query-editor-spacer,
.plugin.QueryUpdater,
-.plugin.Tabs {
+/* Thierry : turning this off
+.plugin.Tabs
+Thierry */
+{
margin-top: 60px !important;
}