body              { 
                    background-color: #99CCCC
                  }
td.mid            {
                    width: 640;
                    vertical-align: top
                  }
td.menu           {
                    border-left-width: 1;
                    border-right: 1px solid #C0C0C0;
                    border-top-width: 1;
                    border-bottom-width: 1;
                    vertical-align: top
                  }
font.bh           {
                    /* blue highlight */
                    color: #0000FF
                  }
td.gb             {
                    /* grey background */
                    background: #f0f0f0
                  }
div.gb            {
                    /* grey background */
                    background: #f0f0f0
                  }
div.mid            {
                    width: 640;
                    vertical-align: top
                  }
div.menu           {
                    border-left-width: 1;
                    border-right: 1px solid #C0C0C0;
                    vertical-align: top
                  }