h1 + img.portrait {
	float: left;
	margin-right: 2ex;
        height: 30ex;
}
dl.contact dt:after {
	content: ":";
}
dl.contact dd {
	display: inline;
}
.paper-title {
	font-style: italic;
}
.venue {
	font-weight: bold;
}

table {
  border-collapse: collapse;
}
table thead tr {
}
table th {
	font-weight: bold;
	border-left: solid 1px black;
	border-bottom: solid 1px black;
}
table th:first-child {
	border-left: none;
}
table td:first-child {
	border-left: none;
}
table td {
	border-left: solid 1px black;
	border-top: solid 1px black;
}

/* From Stack Overflow's CSS */
kbd {
	padding: 2px 4px;
	white-space: nowrap;
	color: black;
	background: #EEE;
	border-width: 1px 3px 3px 1px;
	border-style: solid;
	border-color: #CCC #AAA #888 #BBB;
}

/* Breadcrumbs */
nav.breadcrumbs ol li {
	margin: 0;
	padding: 0;
	display: inline; /* Horizontal list */
	list-style: none;
	font-size: small;
}
nav.breadcrumbs ol li:before {
	content: " » ";
}
nav.breadcrumbs ol li:first-child:before {
	content: "";
}