<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* Colors: grey: #7b8385 orange: #e58900 */

#head-cell-left, #head-cell-middle, #head-cell-right {
	margin: 0px 0.5em;
}

#Navigation {
	margin: 1.4em 0em;
	border-bottom: 1px solid #E58900;
	padding-bottom: 0.7em;
}

ul.Navigation {
	font-size: 110%;
}

ul.Navigation li {
	border-left: 1px #e58900 solid;
	border-right: 1px #e58900 solid;
	color: #e58900;
	margin: 0.6em 0px;
	margin-left: -1px;
}

/* verschiedene Formatierungen */
body { font-family: sans-serif; background-color: white; }

h1 { text-align:center; font-weight:normal; font-size:2.5em; }
h2 { text-align:center; font-weight:normal; font-size:1.5em; }
h3 { font-size: 1.5em; text-align: center; color: #e58900; }
h4 { margin-top: 0.5em; margin-bottom: 0px; }
.subtitle { text-align: center; margin-bottom: 1em; margin-top: -0.5em; }

#head a, #Navigation a { text-decoration: none; }
a:link		{ color:#000000; }
a:visited	{ color:#000000; }
a:hover		{ color:#e58900; }
a:active	{ color:#e58900; }
a:hover img	{ border: none; }
a img		{ border: none; }
p, ul { line-height: 140%; }
blockquote { margin: 0 0 0 4ex; }
#content { color:#000000; font-size: 90%; }

#content ol { list-style-position: outside; margin: 1ex 0; padding: 0 0 0 4ex; }
#content ul { list-style-position: outside; margin: 1ex 0; padding: 0 0 0 4ex; }
#content ul.blank { list-style: none outside none; padding: 0px; }
#content li { margin-bottom: 0ex; }
#content td { padding: 1ex; vertical-align: top; }
#content tr.sep { border-top: 1px #e58900 solid; }
#content table { border-collapse: collapse; }

.authors { text-align:center; line-height: 140%; display: block; }
.authors span { text-align:center; }
.authors a { text-decoration:none; margin:0 0 0 0em; line-height: 100%; }
.authors p { text-decoration:none; margin:0 1em 0 1em; line-height: 100%; display: inline; }
.heading { margin-bottom:4em; }
.abstract { font-style:italic; }
.slides { overflow: auto; }
.slide { width:45%; float:left; margin:0.5em 0.5em 0.5em 0.5em; }
.slide img { border: 1px dotted gray; }
table.describe, .describe tr, .describe th, .describe td { border: none; } 
pre, .tech { font-family:monospace; font-size:9pt;  }
.howto { background-color:#F1F1F1; padding:1em; margin-bottom:1em; }
</pre></body></html>