/**
 * General font
 */
h1,h2,h3,h4,h5,h6,input,body,div,div#menu ul li,div.breadcrumbs ul li,div#footer p {
	font-family:		"Arial", "Helvetica Neue", "Nimbus Sans L", "Bitstream Vera Sans", sans-serif;
}

p,ul,ol,li,td,th,blockquote {
	font-family:		"Times", "Times New Roman", "Nimbus Roman No9 L", "URW Palladio L", "Bitstream Vera Serif", serif;
	font-size:		12pt;
}

p,td,th {
	padding:		0.2em 0;
	margin:			0;
	text-align:		left;
}

td, th {
	padding-right:		0.5em;
}

table, td, th {
	border:	none;
}

/**
 * General links
 */
a {
	text-decoration:	underline;
	color:			#036;
}

/**
 * Body and background DIV
 */
body {
	margin:			0;
	padding:		0;
}

div.centered {
	width:			100%;
	margin:			0;
	padding:		0;
}

/**
 * Page header and top menu
 */
div#header {
	display:		none;
}

div#skipnav {
	display:		none;
}

/**
 * Top menu
 */
div#topmenu {
	display:		none;
}

/**
 * Page start under the header
 */
div#page {
	margin:			0;
}

/**
 * Floating right menu
 */
div#menu {
	display:		none;
}

div#footer a {
	text-decoration:	none;
}

/**
 * Breadcrumbs
 */
div.breadcrumbs {
	display:		none;
}

/**
 * Page content
 */
div#content {
	clear:			left;
}

div#content h1,h2,h3,h4,h5,h6 {
	padding:		0.2em 0;
	margin:			0;

	font-weight:		normal;
}

div#content h1 {
	margin-top:		0.5em;
	font-size:		22pt;
	font-weight:		bold;
}

div#content p {
	margin:			0.5em 0;
	line-height:		1.25em;
}

div#content li {
	margin-top:		0.25em;
}

h2 {
	font-size:		19pt;
}

div#menu h2, h3, code, pre {
	font-size:		14pt;
	border-bottom:		1px dotted #000;
}

h4,h5,h6 {
	font-size:		x-small;
}

code, pre {
	font-family:		"Bitstream Vera Sans Mono", "Consolas", "Courier New", "Monospace", monospace;
	font-size:		8.5pt;

	display:		block;
	width:			90%;

	margin:			1em auto;
	padding:		1em;

	border:			1px dotted #000;

	clear:			both;
}

span.keys {
        border:                 0.1pt solid #000;
        padding:                0.1em 0.2em;
}

/**
 * Quotes
 */
blockquote {
	border:			1px dotted #000;
	margin:			1em;
	padding:		1em;
}

/**
 * Figures
 */
div.figure {
	border:			1px dotted #000;

	padding:		1em;
	margin:			1em 0 1em 1em;

	float:			right;
	clear:			right;

	font-style:		italic;
	font-size:		small;
}

div.figure p {
	text-align:		center;
}

div.thumbnail {
	/*width:			14em;	*/
}

div.fullwidth {
	width:			90%;
	margin:			1em auto;
	float:			none;
}

/**
 * Columns
 */
div.column {
	width:			49%;
	float:			left;
}

div.columnbreak {
	clear:			left;
}

/**
 * Page footer
 */
div#footer {
	clear:			both;
	border-top:		1px dashed #000;
}

div#footer, div#footer p {
	font-size:		8.5pt;
}

div#footer div {
	display:		none;
}