A:visited { text-decoration: none; color:brown;}
A:hover { text-decoration: underline ;}
A:link, A:active {text-decoration: none; color:blue;}

H1 {font-size:150%; font-weight:bold;color: #0000e0}
H2 {
	font-size:130%; 
	color: #ffffff;
	background-color: #3399ff;
	padding-left:2pt;
}
H3 {
	font-size:110%; 
         font-weight:bold;
}

body {
    color:#200000;
    background: #ffffff;
    margin-right: 0px; 
    margin-left: 0px; 
    margin-top: 0px;
/*
    background-color: white;
    background-repeat: repeat-y;
    font-size: 10pt;
    background-image: url(&dtml-BASE1;/images/stripe180.gif);
*/
}

pre {
    background: #e0e0e0;
    padding: 3pt;
    bargin: auto 1em;
}

td.topmenuitem {font-size:10pt; color: #ffffff;}

A.topmenuitem:link, A.topmenuitem:active, A.topmenuitem:visited { 
    text-decoration: none;
    color: #ffffff;
}
A.topmenuitem:hover {
    color: #00ff00;
    text-decoration: none;
}


.leftmenuitem {font-size:10pt; margin-left:5;}

.normalsize {font-size:100%}
.smaller {font-size:90%}
.xsmaller {font-size:80%}
.xxsmaller {font-size:75%}

.sitemap {width:600px;}
.sitemap .title {
    font-weight:bold;
    padding-left:2pt;
}
.sitemap .title a {
    color:black;
    text-decoration:underline;
}
.sitemap .toptitle {
    font-weight:bold;
    font-size:110%; 
    background-color: #3399ff;
    padding-left:2pt;
}
.sitemap .toptitle a {
    color: #ffffff;
    text-decoration:none;
}
.sitemap .contents a {
    color: #1c8fcb;
    text-decoration:underline;
}
.sitemap .section {margin-left:20px; padding:5px}
.sitemap .topsection {margin-bottom:20px;}

.workshop h3 {
	font-size: 110%;
	border-left: 1em solid #3399ff;
	border-bottom: 1px dotted #000;
	padding-left: 0.2em;
	font-weight: bold;
}

.workshop h4 {
	font-size: 100%;
	border-left: 0.4em solid #3399ff;
	padding-left: 0.2em;
	font-weight: bold;
}

.workshop h5 {
	font-size: 100%;
	font-weight: bold;
}