body {
	background-color: rgb(0, 51, 153);
     }

table.mainTable {
		  background-color: rgb(125, 230, 255);
		  padding: 5px;
		  border: 3px ridge rgb(0, 74, 140);
      		}

td {
	border:  5px groove rgb(0, 74, 140);
	padding: 5px;
   }

img {
	border: 0;
    }

td.menucell {
		vertical-align: top;
		text-align: center;
		width: 20%;
	    }

td.mainCell {
		background-color: rgb(204, 230, 255);
		padding: 5px;
		border-style: inset;
		vertical-align: top;
	    }

.tab {
	margin-left: 15px;
     }

.bigtab {
	  margin-left: 30px;
        }

.huge {
	font-size: 200%;
      }

.big {
	font-size: larger;
     }

.left {
	float: left;
      }

.right {
	 float: right;
       }

a:hover {
	  background-color: yellow;
	}

dd.old {
	position: relative;
	top: -1.25em;
	left: 10em;
   	}

.red {
	color: red;
     }