body {
    color: #333333;
    font-family: Verdana, Helvetica, Arial, sans-serif;
    background-image: url(image/background.png);
}

h1 {
    font-style: italic;
    color: green;
}

h2 {
    font-size: 1.3em;
    }


#columnLeft {
    float:left;
    background-color: #efefff;
	padding: 0px;
    border: 0px;
    height: 500px;
    }
    
#columnRight {
    border:white 1px solid;
    background-color:white;
    margin-left: 9.6em;
    padding-left: 2em;
    }

#heading {
    border: 0px;
    background-color: #efefff;
    height: 100px;
	padding: 0px;
}


span.keyword {
    color:blue;
    }
span.comment {
    color:green;
    }
/*******************************************************************
 * New menu layout
 *******************************************************************/
#navmenu {
	font-family: Verdana, Helvetica, Arial, sans-serif;
	font-size: 0.8em;
	font-weight: bold;
	width: 12em;
	border-right: 1px solid #efefff;
	padding: 0px;
	margin-bottom: 1em;
	background-color: #efefff;
	color: #333;
} 
#navmenu p {
    margin: 0px;
    padding: 2px;
    border-right: 1px solid #efefff;
	background-color: #efefff;
} 
#navmenu ul {
    list-style:none;
    margin: 0px;
    padding: 0px;
	background-color: #efefff;
}

#navmenu ul li {
    margin: 0px;
    border-top: 1px solid #efefff;
	background-color: #efefff;
}

#navmenu ul li a {
    display: block;
    padding: 2px 2px 2px 0.5em;
    border-left: 10px solid #cfffcf;
    border-right: 1px solid #efefff;
    border-bottom: 1px solid #efefff;
    background-color: #efefff;
    color: green;
    text-decoration: none;
    width: 100%;
}

/* ie specific hack */
html>body #navmenu ul li a {
    width: auto;
}
#navmenu ul li a:hover {
    border-left: 10px solid #afffaf;
    border-right: 1px solid #cfcfff;
    border-bottom: 1px solid #cfcfff;
    background-color: #efffef;
    color: green;
}