/* --- BODY -------------------------------------------------- */

body {
	/* border: 4px solid lightgrey; */
	border: 0px white;
	margin: 50px auto 50px auto; 


	
	color: black;
	/* background: LightSteelBlue;*/
	background-color: silver;
	font-family: "HelveticaNeue-Light", "Helvetica Neue Light", "Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif;
	/* font-weight: 300;*/
	min-width: 400px;
	max-width: 1024px;


	/*
	background-image: url(Icons/jot-umlsquare.png);
	background-repeat: no-repeat;
	background-position: 10px 10px;
	*/
}
#container {
	background: white;
	padding: 16px 16px 16px 16px;
	min-height: 900px;
}
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: 8pt;
	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;
}

input[type=text] {
	padding: 0px 8px 0px 8px;
	border: none; 
	border-radius: 4px 4px 4px 4px;
	font-family: "Helvetica Neue", sans-serif;
	font-size: 12px;
	color: gray;
	width: 205px;
	height: 30px;
	outline: none;
	transition: width 0.5s;
}

input[type=submit] {
	padding: 0px 4px 0px 4px;
	color: white;
	font-family: "Helvetica Neue", sans-serif;
	font-size: 10px;
	/* border: 1px #88d1ce solid;
	border: 1px #132235 solid;*/
	border: 1px gray solid;
	background-color: #88d1ce;
	background-color: #132235;
	background-color: gray;
	border-radius: 4px;
	font-weight: bold;	
	height: 28px!important;
}

/* 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: 25px;
	background: transparent url(/Icons/page_white_acrobat.png) no-repeat center left 4px;
	
	/* padding: 2px 10px 2px 30px;
	border: 1px #bbbbbb solid;
	border-radius: 4px;
	color: white;*/

}
.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: #bbbbbb url(/Icons/twitter.png) no-repeat center left;

	padding: 2px 10px 2px 30px;
	border: 1px #bbbbbb solid;
	border-radius: 4px;
	color: white;

}
.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;
	background-color: #132235;

}
#header div {
	text-align: right; 
	float: right; 
	padding-right: 30px; 
	padding-top: 35px; 
	color: #cacaca;
}
#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; */
	padding: 5px 0px 20px 0px;
	margin: -16px -16px 16px -16px;
	font-size: 16px;
	

}

#menu div.bar {
	width: 100%;
	background-color: green;

}
#menu div.search {
	float: right;
	width: 20%;
	height: 30px;
	background-color: red;
}

#menu ul { /* From Annals */
	 padding: 9px 16px 9px 16px;
	 margin-bottom: 0px;
	 margin-top: -5px;
	 text-align: left;
	 border-top: 1px solid LightSteelBlue;
	 border-bottom: 1px solid LightSteelBlue;
	 background-color: #88d1ce;
}
#menu ul li {
	 display: inline;
	 list-style-type: none;

}
#menu ul li * {
	 /* text-transform: lowercase; */
	 /*font-variant: small-caps;*/
	 /* color: #99C0E6; */
	 /* color: #91A2B7; */

	 padding: 8px 10px;

}
#menu ul li span {
	color: #777;

}
#menu a {
	padding: 9px 16px 4px 4px;
	margin-top: 8px;
	text-decoration: none;
	color: lightgray;
		color: white;

}
#menu a:link {
	color: #000099;
	color: white;
	text-decoration: none;
}
#menu a:visited {
	/* color: #000099; 	*/
	color: white;
	text-decoration: none;

}
#menu a:hover, #menu a.selected:hover {
	background-color: LightSteelBlue;
	background-color: #132235;
	/* color: DarkRed;*/ 
	color: white;

}
#menu a.selected {
	color: white;
	background-color: silver;


}
/* END MENU */

/* --- CONTENT -------------------------------------------------- */
#content {
	font-size: 13pt;
}

#content strong {
	color: #132235;
}
#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: 24px;
	margin-right: -16px;
	padding-right: 16px;
	border-bottom: 1px solid LightSteelBlue;

}
#content h2 {
	font-size: 14pt;
	margin-left: 8px;
}
#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 20px 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: 10pt;
	font-family: "Helvetica Neue", sans-serif;
	float: right;
	width: 240px;
	margin: 6px 0px 16px 16px;
	
	border-top: 1px solid LightSteelBlue;
	border-left: 1px solid LightSteelBlue;
	border-right: 1px solid LightSteelBlue;
	border-bottom: 1px solid LightSteelBlue;
	border-radius: 4px;
	/* background: #FFFDDD;*/
	background: white;
}
#news div.twitter_header { 
	padding: 0px 0px 0px 8px;
	border-bottom: 1px solid LightSteelBlue;

}
#news div.timeline {
	padding: 0px 0px 0px 8px;
}
#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 p {
	
	padding-bottom: 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: 220px;
	right: 95px;
	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 */

/* CURRENT VOLUME */

div.currentVolume {

	background-color: #ececef!important;
	margin: 0px -16px -32px -16px;
	padding: 0 16px 32px 16px;


}

/* END CURRENT VOLUME */

/* 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 */