body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 20pt;
	margin-left: 175px;
	margin-right: 25px;
	background-repeat: repeat-y;
	background-image: url('/images/talks/left-dust3.png');
	background-attachment: fixed;
	overflow: hidden;
}

/* Sometimes we want text that's just a little bit smaller. */
.smaller {
	font-size: 16pt;
}

div.footer {
	clear: both;
}

h1, h2 {
	text-align: center;
}

h1 {
	font-size: 34pt;
}

h2 {
	font-size: 28pt;
}

li {
	margin-top: 1em;
	margin-bottom: 1em;
}

img.left {
	margin-right: 2em;
	float: left;
}

img.right {
	margin-left: 2em;
	float:right;
}

table.nextlast {
	clear: both;
	visibility: hidden;
	font-size: 12pt;
}

#roadmap {
	position: absolute;
	top: 245px;
	left: 5px;
	width: 160px;
	font-size: 12pt;
	overflow: hidden;
	border: solid 2px #8FC2E0;
	background-color: white;
}

#roadmap li {
	margin-top: 0;
	margin-bottom: 1em;
	margin-left: -2em;
}

#roadmap li li {
	font-size: 8pt;
}

#copyright {
	font-size: 7pt;
	clear: both;
	position: absolute;
	bottom: 10px;
	right: 20px;
}

#footer {
	font-size: 7pt;
	clear: both;
	position: absolute;
	bottom: 10px;
	left: 195px;
}

ul.dotpoint li {
	visibility: hidden;
}

.comment {
	color: red;
	font-style: italic;
	border: dotted 1px;
	padding: 0.5em;
}

code {
	border: dotted 2px;
	padding: 15px;
	display: block;
	font-size: 15pt;
}

#logo {
	position: absolute;
	top:  10px;
	left: 10px;
	background-color: white;
	border: solid 2px #86bcdc;
	padding: 8px;
}

/* Image sizes.  These have to use classes rather than identifiers
 * for compatibility with ancient browsers. */

img.logo {
	width: 117px;
	height: 201px;
}

img {
	border: 0;
}