*** octave-forge1.css	2006-10-17 13:28:39.000000000 +1000
--- octave-forge.css	2006-10-17 13:20:20.000000000 +1000
***************
*** 56,63 ****
  
  div#nav2 {
    float: right;
!   color: black;
!   background-color: #73d216; /* //#4e9a06; */
    padding: 3px;
  }
  
--- 56,62 ----
  
  div#nav2 {
    float: right;
!   background-color: #73d216; //#4e9a06;
    padding: 3px;
  }