body {margin:0px 8px 0px 8px; padding: 0px;    /* required to define even playing field for all browsers */
      background: #cff url(seagrad.jpg) repeat-x; font:16px Verdana, sans-serif; color:#006;} 	/*defaults for page*/

body ul{margin-left:25%;}         /*needed to float ul round menu*/
.fixedmargin{margin-left:20px;}   /*override the 25% on secondary ul items*/

.red{color:#a00}		  /*explicit exception */

/* first define position and size of whole menu */
.links {top: 5px; left: 0; width: 20%;			/*gap at the top, 1/5th of page width*/
	/*font: 16px "Comic Sans MS";	*/		/*explicit font for text*/
        padding: 5px 5px;				/*nothing else comes within 5pixels*/
        margin: 0;					/*think this is required for IE*/
	float:left;}					/*allow body text to wrap round menu*/

/* second define individual elements within menu */
.links a {display: block; text-align: left; font-weight: bold; /*1em sans-serif;*/
	padding: 5px 5px; 			/*allow room round text*/
	margin: 2px; 				/*at last! they said 'margin: 0 0 2px' */
	height: 1em;
	border-width: 0;			/*doesn't seem to do anything*/
	overflow:hidden;
	text-decoration: none; color: #006; background: #f2dbcb}

/* third override method if user hovers */
.links a:hover {color: #009; background: #f0d3a7;}

/* buttons are small highlighted links, same colour as menu*/
.jump {text-decoration: none; color: #006; background:#f2dbcb}

/* what about header, status and copyright? */
.header {height: 80px; width:100%; 			/*room for logo*/
	margin-top: 0px; 				/*need for opera, not for IE*/
	background: url(seatext2.jpg) no-repeat;}	/*then modify as reqd*/
.status {background-color:#f2dbcb; height: 16px; font-size:80%;}
.footer {background-color:#f2dbcb; height: 16px; font-size:80%; text-align: center; clear:left;}

/* really must do something with the course page*/
.ullinks a span{display:none;}
.ullinks a:hover span{display:block; color:#006;}

/*abbr and acronyms to use help cursor, use span class="tip" for the same effect*/
abbr, acronym, .tip {border-bottom:1px dotted #006; cursor:hand;}