body{
	/*font-family: Arial, Verdana, Sans-Serif; */
	background: #eeeeee;
	margin: 0;
	padding: 0;
	color: #000;
}

#head {
	top: 0px;
	left: 0px;
	margin: 0px;
	padding: 0px;
/*	line-height: 0; */
}

#head a {
	color: #003B83;
	text-decoration: none;
}

#head a:hover {
	color: #003B83;
	text-decoration: none;
	border-bottom: 1px dotted #003B83;
}

#head h1 {
	margin-left: 20px; 
	margin-top: 2em;
	margin-bottom: 0px;
	/* width: 100em; */
	display: inline;
	padding: 0px;
	vertical-align: top;
	line-height: 2;
	color:#000B53;
}
#head h2 {
	margin-left: 20px; 
	margin-top: 1em; 
	margin-bottom: 0px; 
	/* width: 100em; */

	padding: 0px;
	vertical-align: top;
	color: #003B83;

}

#head p {
	margin-left:15px;
	margin-top: 1em;
	margin-bottom: 0.5em;
	color: #000;	
}

#sections {
	margin-left: 1em;
	width: 100em;
}


#sections A:visited {
	text-decoration: none;
	border-bottom: none;
	color: #001B63;
}

#sections A:link {
        text-decoration: none;
        border-bottom: none;
        color: #003B83;
}
			

#sections A:hover {
	text-decoration: none;
	border-bottom: 1px dotted #003B83;
	color: #003B83;
}


#menu {
	font-family: arial, helvetica, sans-serif;
	font-size: 80%;
	font-weight:bold;
	/* white-space: nowrap; */
	vertical-align: middle;
	overflow: hidden;
	/* background-color: #dddddd; */
       	border: 4px ridge #ccc;
	/* border-style: solid; */
	top: 0px;
	/* width: 20em; */
	margin: 1em 1em 1em 1em;
	float: right;
}

#content {
	margin-left: 1em;
	width: 90%;
	text-align: justify;
}

#content h1, h2, h3, h4, h5, h6 {
	color: #003B83;
	font-size: 99%;
}


#content A:visited {
	text-decoration: none;
	border-bottom: none;
	color: #001B63;
}

#content A:link {
        text-decoration: none;
        border-bottom: none;
        color: #003B83;
}
			

#content A:hover {
	text-decoration: none;
	border-bottom: 1px dotted #003B83;
	color: #003B83;
}

#tagpreview a {
	color: #003B83;
	text-decoration: none;
}

#tagpreview a:hover {
	text-decoration: none;
	border-bottom: 1px dotted #003B83;
	color: #003B83;
}

#tagpreview ul li {
	width: 40em;
	margin-right: 5%;
}

#tagpreview ul li p b a {
	color:#003B83;
	text-decoration: none;
}

#tagpreview ul li p {
	color: #303030;
	font-size: 80%;
	width: 40em;
	text-align: justify;
}

#abstract p {
	color: #303030;
	/* border: 1px ridge #111; */
	font-size: 80%;
	padding-left: 2em;
	padding-right: 2em;
	padding-top:0.5em;
	padding-bottom: 0.5em;
	width:50em;
	margin-left:1em;
	text-align: justify;
}

#content pre {
	background-color: black; 
	color:white; 
	border: 2px ridge #ccc;
        border-right:2em;
	padding: 2px; 
	margin-right: 2em;
	/* display: table-cell; */ 
}

#tags {
	color: #AAAACC;
	margin-left: 10%;
	margin-right: 60%;
	font-size: 70%;
} 

#tags ul li {
	display: inline;
	margin: 0.1em;
	padding: 0.5em;
}

#menu ul {
	list-style-type: none;
	margin: 0;
	padding: 0;
}

#menu ul li {
	display: inline;
	margin: 0;
	padding: 0;
}

#menu ul li a {
	display: block;
	/* min-height: 30px; */
	vertical-align: middle;
	text-decoration: none;
	text-align: left;
	padding-left: 2em;
	/* background: #2E8ECD ; */
	/* url(test.png) no-repeat 0.5em center */ ;
	border: 1px;
       /*	ridge #000; */
	color: #0A0A0A;
}

#menu ul li a:hover, #menu li a:focus {
	 background-color: #a33; 
}

#menu ul li.active a, #menu ul li.active a:active, #menu li.active a:hover, #menu li.active a:focus {
	background: #2E8ECD; 
	cursor: default;
}

#menu ul ul li a {
        background-position: 1em center;
        padding-left: 3em;
}

#menu ul ul li a:hover {
	background-color: #a33;
}