/* --- BODY -------------------------------------------------- */
body {
	/* border: 4px solid lightgrey; */
	border: 0px white;
	margin: 50px 100px 50px 100px;
	padding-left: 0px;
	color: black;
	background: LightSteelBlue;
	font-family: "Times New Roman", Georgia, Garamond, serif;
	min-width: 400px;
	/*
	background-image: url(Icons/jot-umlsquare.png);
	background-repeat: no-repeat;
	background-position: 10px 10px;
	*/
}
#container {
	background: white;
	padding: 16px 16px 16px 16px;
}
h1,h2,h3 {
	font-weight: normal;
	margin: 0px;
	text-decoration: none;
	color: DimGrey;
}
table {
	border-collapse: collapse;
	margin: 8px 0px 8px 0px;
}
td {
	border: 0px solid #CCCCCC;
	padding: 4px;
}
#lastModified {
	font-size: 7pt;
	text-align: right;
	font-style: italic;
	color: LightSteelBlue;
	margin: 8px;
	padding: 2px 2px 2px 8px;
	border-top: 1px solid LightSteelBlue;
	margin-left: -16px;
	padding-left: 16px;
	margin-right: -16px;
	padding-right: 16px;
}
#lastModified a {
	color: LightSteelBlue;
}
/* END BODY */

/* --- LINKS -------------------------------------------------- */
a:link {
	color: #0000D5;
	text-decoration: none;
}
a:visited {
	/* color: #444B82; */
	text-decoration: none;
}
a:hover {
	color: DarkRed;
	text-decoration: none;
}
a:active {
	/* color: blue; */
	text-decoration: none;
}
/* END LINKS */

/* --- LINK ICONS -------------------------------------------------- */
/* NB: Most of these icons are from: http://www.famfamfam.com/ */
.pdf {
	padding-left: 20px;
	background: transparent url(/Icons/page_white_acrobat.png) no-repeat center left;
}
.html {
	padding-left: 20px;
	background: transparent url(/Icons/html.png) no-repeat center left;
}
.bibtex {
	padding-left: 20px;
	background: transparent url(/Icons/bibtex.png) no-repeat center left;
}
.rss {
	padding-left: 20px;
	background: transparent url(/Icons/feed.png) no-repeat center left;
}
.tweet {
	padding-left: 20px;
	background: transparent url(/Icons/twitter.png) no-repeat center left;
}
.twitter {
	padding-left: 20px;
	background: transparent url(/Icons/twitter.png) no-repeat center left;
}
.citeulike {
	padding-left: 20px;
	background: transparent url(/Icons/citeulike.png) no-repeat center left;
}
.linkedin {
	padding-left: 20px;
	background: transparent url(/Icons/linkedin.png) no-repeat center left;
}
.email {
	padding-left: 20px;
	background: transparent url(/Icons/email.png) no-repeat center left;
}
/* TO DO:  issue article dblp */
/* END LINK ICONS */

/* --- HEADER -------------------------------------------------- */
#header {
	padding: 20px 0px 5px 0px;
}
#header h1, #header h2 {
	margin: 4px;
	letter-spacing: 2px;
	word-spacing: 6px;
	font-size: 28pt;
	font-weight: bold;
	text-align: center;
}
#header a:link, #header a:visited {
	text-decoration: none;
	color: DimGrey;
}
#header a:hover {
	text-decoration: none;
	color: DarkRed;
}
/* END HEADER */

/* --- MENU -------------------------------------------------- */
#menu {
	padding: 5px 150px 20px 150px;
}
#menu ul { /* From Annals */
	 padding: 1px 4px;
	 margin-bottom: 0px;
	 text-align: center;
	 border-top: 1px solid LightSteelBlue;
	 border-bottom: 1px solid LightSteelBlue;
}
#menu ul li {
	 display: inline;
	 list-style-type: none;
}
#menu ul li * {
	 /* text-transform: lowercase; */
	 font-variant: small-caps;
	 /* color: #99C0E6; */
	 color: #91A2B7;
	 padding: 0px 8px;
}
#menu ul li span {
	color: #777;
}
#menu a {
	padding: 8px 16px 4px 4px;
	margin-top: 8px;
	text-decoration: none;
	color: lightgray;
}
#menu a:link {
	color: #000099;
	text-decoration: none;
}
#menu a:visited {
	color: #000099;
	text-decoration: none;
}
#menu a:hover {
	background-color: LightSteelBlue;
	color: DarkRed;
}
#menu a.selected {
	color: gray;;
}
/* END MENU */

/* --- CONTENT -------------------------------------------------- */
#content {
	font-size: 11pt;
}
#content h1, #content h2, #content h3 {
	padding-top: 10px;
}
#content textarea {
	margin: 10px 0px 10px 0px;
}
#content h1 {
	font-size: 18pt;
	margin-left: -16px;
	padding-left: 16px;
	margin-right: -16px;
	padding-right: 16px;
	border-bottom: 1px solid LightSteelBlue;
}
#content h2 {
	font-size: 14pt;
}
#content h3 {
	font-size: 12pt;
}
#content .special {
	margin-left: -4px;
	padding-left: 4px;
	margin-right: -4px;
	padding-right: 4px;
	padding-bottom: 0px;
	/* background: #F2F2F2; */
	background: #EFF5FB;
}
#content h1 a,#content h2 a,#content h3 a {
	color: DimGrey;
	text-decoration: none;
}
#content h1 a:hover,#content h2 a:hover,#content h3 a:hover {
	color: DarkRed;
	text-decoration: none;
}
#content p, #content pre {
	margin: 8px 0px 10px 0px;
	padding-left: 8px;
	padding-right: 8px;
	line-height: 1.4em;
	color: black;
}
#content ul li {
	list-style: square outside;	
}
#content ul li.volume {
	padding: 4px 8px 4px 0px;
}
#content ul li.article, ol li.article {
	padding: 4px 8px 4px 0px;
}
#content pre {
	padding: 2px 2px 2px 8px;
	margin: 8px;
	background: lightgrey;
}
#content p.credit {
	border-top: 3px;
	font-size: 8pt;
	margin: 10px -156px 0px -16px;
	padding-top: 4px;
	padding-right: 160px;
	text-align: right;
	border-top: 1px solid LightSteelBlue;
	color: DimGrey;
}
#content p.faq {
	font-style: italic;
	font-weight: bold;
}
.credit, .credit a, .credit a:link, .credit a:hover {
	color: DimGrey;
}
/* END CONTENT */

/* --- NEWS -------------------------------------------------- */
#news {
	font-size: 8pt;
	font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
	float: right;
	width: 240px;
	margin: 6px -20px 16px 16px;
	padding: 8px 0px 0px 8px;
	border-top: 1px solid LightSteelBlue;
	border-left: 1px solid LightSteelBlue;
	border-right: 1px solid LightSteelBlue;
	border-bottom: 1px solid LightSteelBlue;
	background: #FFFDDD;
}
#news h1,#news h2,#news h3 {
	padding: 2px 2px 2px 8px;
	border-bottom: 1px solid LightSteelBlue;
}
#news h1 {
	font-size: 12pt;
}
#news h2 {
	font-size: 10pt;
}
#news h3 {
	font-size: 8pt;
}
#news p, #news form, #news table {
	padding: 0px 8px 0px 8px;
}
#news ul li {
	list-style: square outside;
	padding: 0px 8px 0px 0px;
	margin-left: -16px;
}
/* END NEWS */

/* --- BLOG -------------------------------------------------- */
/* Extra padding at right to leave room for sidebar */
#blog {
	padding-right: 140px;
}
#blog h2 {
	font-size: 18pt;
	margin-left: -16px;
	padding-left: 16px;
	margin-right: -156px;
	padding-right: 16px;
	border-bottom: 1px solid LightSteelBlue;
}
#blog h3 {
	font-size: 16pt;
}
#blog p {
	font-size: 12pt;
}
.meta {
	padding: 4px 8px 4px 8px;
	font-size: 8pt;
}
.meta, .meta a {
	color: DimGrey;
	font-weight: normal;
}
.feedback {
	color: DimGrey;
	padding-right: 4px;
	text-align: right;
	clear: both;
}
/* END BLOG */

/* --- SIDEBAR -------------------------------------------------- */
/* Similar to news, but with absolute positioning so it can be
   included at the end.  Should be used in tandem with blog div.
*/
#sidebar {
	position: absolute;
	top: 200px;
	right: 85px;
	font-size: 8pt;
	font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
	float: right;
	width: 140px;
	margin: 8px;
	padding: 8px;
	border-top: 1px solid LightSteelBlue;
	border-left: 1px solid LightSteelBlue;
	border-right: 1px solid LightSteelBlue;
	border-bottom: 1px solid LightSteelBlue;
	background: #FFFDDD;
}
#sidebar h1, #sidebar h2, #sidebar h3 {
	padding: 2px 2px 2px 8px;
	border-bottom: 1px solid LightSteelBlue;
}
#sidebar h1 {
	font-size: 12pt;
}
#sidebar h2 {
	font-size: 10pt;
}
#sidebar h3 {
	font-size: 8pt;
}
#sidebar p, #sidebar form, #sidebar table {
	padding: 0px 8px 0px 8px;
}
#sidebar ul {
	color: DimGrey;
	font-weight: bold;
	list-style-type: none;
	margin: 0;
	padding-left: 3px;
}
#sidebar ul li {
	list-style: none;
	padding: 2px 8px 2px 0px;
	margin-left: 0px;
}
#sidebar ul ul {
	font-variant: normal;
	font-weight: normal;
	line-height: 100%;
	list-style-type: none;
	margin: 0;
	padding: 0;
	text-align: left;
}
#sidebar ul ul li {
	border: 0;
	letter-spacing: 0;
	margin-top: 0;
	padding: 4px 0px 4px 12px;
}
#sidebar ul ul li a {
	color: black;
	text-decoration: none;
}
#sidebar ul ul li a:hover {
	border-bottom: 1px solid #809080;
}
#sidebar ul ul ul.children {
	font-size: 142%;
	padding-left: 4px;
}
/* END SIDEBAR */

/* PRINTING */
@media print {
	#header, #menu, #news, #sidebar {
		display: none;
	}
	.credit {
		display: none;
	}
	#menu a {
		display: none;
	}
	body {
		background: none;
		margin: 0px 0px 0px 0px;
	}
	#content, #blog {
		padding: 0px 0px 0px 0px;
		margin: 0px 0px 0px 0px;
	}
	#content a, #blog a {
		text-decoration: none;
		color: black;
	}
}
/* END PRINTING */