html, body {
 background-color: #fffafa;
 color: black;
 font-family: Georgia, serif;
 margin: 0em;
 padding: 0.75em 2.5em;
 text-align: center;
}
a {
 color: #0000cd;
 font-weight: bold;
}
a:visited {
 color: #000080;
 font-weight: normal;
}
a:hover {
 color: #8b0000;
}
a img {
 border: none;
}
abbr, acronym {
 border: none;
 border-bottom: 1px dotted black;
 cursor: help;
}
h1, h2, h3, h4, h5, h6 {
 background-color: transparent;
 color: #8b0000;
 font-family: "Trebuchet MS", sans-serif;
 font-weight: normal;
 margin: 0em;
 margin-bottom: 0.75em;
 padding: 0em;
}
blockquote {
 font-style: italic;
 margin: 0em 2em 1em 2em;
 text-align: justify;
}
blockquote code {
 font-style: normal;
}
blockquote .author {
 font-style: normal;
 margin-left: 4em;
 margin-right: 4em;
 text-align: right;
}
cite {
 background-color: transparent;
 color: #556677;
 font-family: "Trebuchet MS", sans-serif;
 font-style: normal;
}
code {
 font-family: monospace;
}
dl dt {
 font-weight: bold;
}
dl dd {
 margin-left: 1.5em;
 text-align: justify;
}
dl.refs dd { text-align: left; }
em {
 color: #556677;
 font-style: normal;
 font-weight: bold;
}
p {
 background-color: transparent;
 color: inherit;
 margin: 0em;
 margin-bottom: 1em;
 padding: 0em;
 text-align: justify;
}
p.ikonky {
	text-align: center;
}
p.prolog {
	border: none;
	border-left: 3px solid #556677;
	color: #332211;
	font-size: 95%;
	margin-left: 4em;
	padding-left: 1em;
	margin-right: 4em;
}
pre {
	background-color: #dedede;
	border: 1px solid #556677;
	border-left-width: 5px;
	color: inherit;
	margin: 0em; margin-bottom: 1em;
	overflow: auto;
	padding: 0.25em 0.4em;
	white-space: pre;
}
strong {
	background-color: transparent; color: inherit;
	letter-spacing: 1pt;
	font-weight: bold;
}
table {
 border: 1px solid #556677;
 border-collapse: collapse;
 border-bottom-width: 2px;
 border-right-width: 2px;
 margin: 0em auto 1em auto;
 max-width: 85%;
}
table td {
 border: 1px solid #556677;
 padding: 0.15em 0.3em;
}
table th {
 border: 1px solid #556677;
 padding: 0.15em 0.3em;
 white-space: nowrap;
}
ul li, ol li {
 text-align: justify;
}
ul li pre, ol li pre {
 margin-top: 1em;
}

#envelope {
 background-color: transparent;
 color: inherit;
 margin: 0em auto;
 max-width: 700px;
 padding: 0;
 text-align: left;
}

.c {
	text-align: center;
}
.c img {
	border: 1px solid #567;
	padding: 2px;
}

.comment {
 background-color: #ffdab9;
 border: 1px solid #8b0000;
 border-bottom-width: 2px;
 border-right-width: 2px;
 color: inherit;
 font-size: 90%;
 margin: 0em 2em 1em 2em;
 padding: 0.5em 1em;
}
.problem {
	color: red;
	text-decoration: underline;
}