#list-menu {
width: 110px;
/* this width value is also effected by
the padding we will later set on the links. */
}

#list-menu ul {
margin: 0;
padding: 0;
list-style-type: none;
font-family: verdana, arial, sanf-serif;
font-size: 9px;
}

#list-menu li {
margin: 2px0 0 0 0;
}

#list-menu a {
display: block;
width:110px;
border: 1px solid #005E5E;
padding: 2px 1px 2px 1px;
background: #005E5E;
text-decoration: none;
filter:blendTrans(duration=0.5);
}

#list-menu a:link, #list-menu a:active, #list-menu a:visited {
color: #FFFFFF;
}

#list-menu a:hover {
border: 1px solid #005E5E;
background: #FFFFFF;
color: #005E5E;
}


body {
	margin:20px 20px 0px 20px;
}

#main {
border:0px solid #000; 
}

/* Looks like you have to specify the width of #menu
or IE5 Mac stretches it all the way across the div, and 
Opera streches it half way. */

#main #menu {
		border-top:0px solid #7B007B; 
		border-right:0px solid #7B007B;
		border-left:0px solid #7B007B; 
		border-bottom:0px solid #7B007B;
		float:right;
		width:130px;
		margin: 0px 0px 10px 10px;
		}
		
	p,h1,pre {
		margin:0px 10px 10px 10px;
		}
		
	h1 {
		font-size:14px;
		padding-top:10px;
		}
	
	#menu p { font-size:10px;}