/* GUI */

.panel {
   background:url(../ImageLib/kandinsky.jpg) 0 0 fixed;
   }
   
.button, .helpbutton {
   background-color:rgb(200,200,200);
   }
   
.menu {
   border-color:rgb(200,200,200);
   }
   
.frame {
   background-color:rgb(200,200,200);
   }   
   

/* Help page */

h2 {
   background-color:darkblue
   }
   
h3 {
   background-color:darkblue
   }