/*
 * CSS Print Style by Andreas Schamanek
 *
 */

body {
	background-color: white; color: black;
	margin-left: 0%; margin-right: 0%;
}

.noprint { display: none; }

a:link    { color: navy; text-decoration:underline; }
a:visited { color: navy; text-decoration:underline; }
a:active  { color: navy; text-decoration:underline; }
a:hover   { color: navy; text-decoration:underline; }

h1      { margin-left: +2%;}
pre     { font-family: monospace; }
tt      { font-family: monospace; }

dt      { color: black; }
dd      { margin-left: +4%; margin-bottom: 6pt; }

/* special link styles ------------------------------------------------ */

a:link.nodeco {
	text-decoration: none; color: black; font-weight: bolder;
}
a:visited.nodeco {
	text-decoration: none; color: black; font-weight: bolder;
}
a:link.external,
a:visited.external {
	color: navy; text-decoration:underline;
}

/* page layout elements ----------------------------------------------- */

/* DO NOT print a list of options (download, style, ...) 
 * shown on upper right side of web versions */
#options { display: none; }

tt.foot { font-size: 9pt; font-family: monospace; }
p.foot  { font-size: 10pt; }

/* miscellaneous divs and classes -------------------------------------- */

input.tt { font-family: monospace; }

font.white { color: black; }

div.whitetext {
	color: black;
}

/* e.g. used by writings with <div> */
.deluxemargin {
	margin: 1em 7% 1em 4%;
	padding: 1em;
}

/* similar to .deluxemargin but with even more margin
 * currently intended for use with <p>
 */
.noble {
	margin-left: 5%;
	margin-right: 22%;
}

.indent {
	margin-left: 1.5em;
}

.code {
	margin-left: 15px;
	width: 95%;
	border: 1px #666666 solid;
	background: #EEEEEE;
	padding: 3px 5px 3px 5px;
}

.msgbox { 
	background-color: white; color: black;
	margin: 1em 1em 1em 0em;
	padding: 2em 1em 1em 1em;
	border: 1px solid gray;
}

/* frames */

/* changed div.box to .box -- div.box seems to be unused anywhere */
.box { border: solid; border-width: 1px; }

.frameblack {
	background-color: white;
	margin: 1em;
	padding: 1em;
	border: 1px solid black;
}