/* Emacs settings: -*- mode: Fundamental; tab-width: 4; -*-
 
////////////////////////////////////////////////////////////////////////////
//                                                                        //
// Shared stylesheet for SOSP pages                                       //
//                                                                        //
// Andrew Birrell, 2011-2015                                              //
//                                                                        //
////////////////////////////////////////////////////////////////////////////
*/
 
A:link { color: #000099; }
A:active { color: #ff0000; }
A:visited { color: #000099; }
A:hover { color: #006600; }
 
body {
	margin: 0px;
	-moz-text-size-adjust: 100%;
	-webkit-text-size-adjust: 100%;
	-ms-text-size-adjust: 100%;
	text-size-adjust: 100%;
}
#navigation, #title, #footer, #footerFixed {
	background-color: #eef2f6;
}
#title {		/* overall page title area */
	border-bottom: 1px solid black;
	padding: 1.25em;
	padding-right: 1.25em;
	min-height: 6em;
	text-align: center;
}
#logo {
	float: left;
	border: 0px;
	width: 6em;
	height: 6em;
	vertical-align: middle;
}
#readme {
	float: right;
	width: 6em;
	height: 6em;
	text-align: right;
}
#titleMain {	/* page main title */
	padding-bottom: 0.5em;
	font-size: 1.8em;
}
#titleSub {		/* page subsidiary title */
	font-size: 1.5em;
}
.location {     /* conference location, in title or in archive */
	white-space: nowrap;
}
#navigation, .sectionTitle, .conferenceTitle, .sessionTitle,
.paperTitle, .paperCopy {
	font-family: arial, helvetica, sans-serif;
}
#navigation {		/* optional fixed navigation sidebar at left */
	position: fixed;
	width: 2.777em;
	height: 100%;
	border-right: 1px solid black;
	padding: 1.111em;
	text-align: center;
	font-size: 0.9em;
	line-height: 1.5em;
}
#main {				/* if using navigation sidebar, indent rest of page */
	padding-left: 4.5em;
}
.limitedWidth { /* limited-width DIV, for better readability */
	box-sizing: border-box;
	max-width: 42.5em; /* including padding and border */
}
.contents {			/* main contents area (a DIV or TABLE) */
	position: relative; /* establishes a coordinate system for children */
	background-color: #ffffff;
	margin-left: auto;
	margin-right: auto;
	padding-top: 1em;
	padding-bottom: 1em;
	padding-left: 1.25em;
	padding-right: 1.25em;
}
.conferenceTitle {	/* for multi-conference proceedings page */
	margin-top: 0.667em;
	margin-bottom: 0.667em;
	font-size: 1.5em;
}
.conferenceSep {	/* separator between conferences */
	border-width: 2px;
	margin-top: 2em;
	margin-bottom: 2em;
}
.session, .paper {	/* containers for conference items */
	margin-top: 1em;
	margin-bottom: 1em;
}
.sessionTitle {
	font-size: 1.125em;
	font-weight: bold;
}
.paper {            /* container for everything about a paper */
	padding-left: 1em;
}
.withPics {         /* specialized .contents allowing for pics */
	padding-right: 13.5em !important;
}
.pic0, .pic1 {      /* an author/speaker picture */
	width: 5em;
	position: absolute;
	border: 1px solid #000000;
	box-shadow:
		2px 2px     /* x,y offset */
		4px 0px     /* blur radius, spread */
		#444444;    /* color */

}
.pic0 {             /* pictures alternate between .pic0 and .pic1 */
	right: 7.25em;
}
.pic1 {
	right: 1.25em;
}
@media screen and (max-width: 600px) {
	.withPics {
		padding-right: 5.5em !important;
	}
	.pic0, .pic1 {
		width: 3em;
	}
	.pic0 {
		right: 1.25em;
	}
}
.marker {			/* minor annotation beside paper or session title */
	float: right;
	margin-left: 1em;
	color: #aaaaaa;
}
.paperTitle, .authors, .sectionCommentary { /* hanging indent */
	padding-left: 2em;
	text-indent: -2em;
}
.paperTitle, .office { /* paper title; office in organizers page */
	color: #3366cc;
	font-weight: bold;
}
.job, .author {     /* SPAN for author or job name */
	white-space: nowrap;
}
.affil {			/* SPAN for author affiliation */
	font-style: italic;
}
.paperCopy {		/* links to paper copies */
	font-size: 0.9em;
}
.abstract, p, ul {  /* Containers for abstract's running text */
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}
.sectionTitle {		/* section anchors in top-level index pages */
	padding-top: 0.444em;
	padding-bottom: 0.444em;
	padding-right: 0.444em;
	font-size: 1.125em;
	white-space: nowrap;
}
.sectionCommentary { /* section comments in top-level index pages */
	padding-top: 0.555em; /* chosen to match sectionTitle */
}
.sectionTitle, .sectionCommentary {
	vertical-align: top;
}
.abstract, #welcome { /* plain old readable text */
	text-align: justify;
}
#piccy {              /* deocration in index page */
	height: 160px;
	border: 0px;
}