@charset "UTF-8";

/* Common */

body {
	color: black;
	font-family: "Luxi Sans", "Optima", "Lucida Sans Unicode", "DejaVu Sans", "Bitstream Vera Sans", "Geneva", "Verdana", sans-serif;
	margin-left: 15%;
	margin-right: 15%;
}

a.quiet {
	color: black;
}

address {
	margin-left: 2em;
}

h1 {
	font-size: x-large;
}

h2 {
	font-size: large;
}

span.problemname {
	font-variant: small-caps;
}

strong {
	color: #D2691E;
}

/* Menu */

div#menu ul {
	list-style: none;
	padding: 0;
}

div#menu ul li {
	display: inline;
}

div#menu ul li.next:before{
	content: " | ";
}

/* Language */

div#language {
	float: right;
	text-align: right;
}

/* Info */

div#info {
	font-size: small;
}

div#info ul {
	list-style: none;
	padding: 0;
}

div#info ul li {
	display: inline;
}

div#info ul li.next:before{
	content: " – ";
}

/* Publication */

li.publication {
	margin-bottom: 1em;
}

ul.publication {
	list-style: none;
	padding: 0;
}

/* Version of publication */

ul.version {
	list-style: none;
	padding: 0;
}

ul.version li {
	display: inline;
}

ul.version li.link:before {
	content: "[";
}

ul.version li.link:after {
	content: "]";
}

/* Code */

ol.code {
	list-style: none;
	padding: 0;
}

ol.code li.indent {
	padding-left: 3em;
}

ol.code code {
	font-family: "Courier", monospace;
}