# $Id: //depot/wcm/public_html/java/help/style.css#2 $
# $DateTime: 2004/07/24 11:40:34 $

body {
    background: white;
    color: black;
}

a         {text-decoration: none; color: blue; font-weight: bold;}
a:active  {color: red;}
a:hover   {color: red;}
a:visited {color: blue;}

#canvas {
	margin-top:    5px;
	margin-bottom: 5px;
    margin-left:   5px;
    margin-right:  5px;
}

#footer {
    color: #d20000;
}

pre {
	border-right: #646464 1px solid;
	padding-right: 0.5em;
	border-top: #646464 1px solid;
	padding-top: 0.5em;
	border-left: #646464 1px solid;
	padding-left: 0.5em;
	border-bottom: #646464 1px solid;
	padding-bottom: 0.5em;
	margin-left: 1em;
	margin-right: 2em;
	background-color: #e6e6e6;
}

# end of style.css