body
{
	background: #F0F0F0;
	margin: 0;
	padding: 5px;
	font: 10pt Tahoma, Verdana, sans-serif;
	text-align: justify;
}

body > div { background: #F9F9F9; margin: 1em; padding: 2em; border: 1px solid #e0e0e0; }
h1 { font-weight:500; }
h1.logo { background: url(logo-tiny.png) no-repeat left; padding-left: 115px; }

h2 { color:#FF8C00; font-weight:normal; font-size:14pt; }
h2 a { color:inherit; text-decoration:inherit; }
h2 a.small { color: #D47500; font-size: 10pt; vertical-align: baseline; }

h3 { color:#D47500; font-weight:normal; font-size:12pt; }
h3 a { color:inherit; text-decoration:inherit; }

h1,h2,h3 { text-align: left; }

/* avoid small-caps */
abbr { font-variant: normal; }

.intro { min-width:40ex; width: 60%; text-align:center; font-size: 120%; font-weight:bolder; }

/* talk titles */
#termcard h3 { font-weight: normal; font-size: 110%; font-family: inherit; color: #925000; }
/* talk abstracts */
#termcard blockquote { margin: 1em; margin-top: -0.5em; margin-bottom: 2em; text-align: justify; /*font-style: italic;*/ }
#termcard blockquote:before { content: "Abstract"; font-weight: bold; display: block; text-align: center; }
/* non-talk stuff */
#termcard p { margin: 1em; margin-top: -0.5em; margin-bottom: 2em; text-align: justify; }

.infoboxes * { vertical-align: top;  }
table.infoboxes { margin-left: 2em; margin-right: 2em; }

.infoboxes td { width: 33%; padding-left: 10px; padding-right: 10px; text-align: justify; }

.infoboxes p { text-align: justify; margin-bottom: 1ex; }
.infoboxes h2 { text-align: center; }
.infoboxes img { text-align: center; }

p.greyedout { text-align: center; color: #777; }
a[href="#"] { color: #777; }

/* not really sure about this, looks a bit dodgy */
a { color: #D47500; text-decoration: none; }