@charset "UTF-8";

/*
	heja.css
	stylesheet for everything except heja.html
	Herbert Janssen
	2011-10-01 - 2024-05-28
	
	todo:
	* selected := dunkelrot, sonst schwarz
	* centered main text block
	* centered aligned menu
	* better adaptation to screen sizes
	* simplify html markup, especially tables
	* less style=""
*/

body {
	color: black;
	background-color: #ffffff;
	margin: 0;
	padding-top: 0;
	padding-bottom: 2em;
	padding-left: 2em;
	padding-right: 2em;
	font-size: 12pt; /* base size */
	font-family: "Helvetica Neue Light", "HelveticaNeue-Light",
				"__NOT__ DejaVu Sans Light", "__NOT__ DejaVuSans-Light",
				"Open Sans Light", "OpenSans-Light",
				"HelveticaNeue", Helvetica,
				"MS Reference Sans Serif", "MS-Reference-Sans-Serif",
				"Liberation Sans Narrow", Arial, sans-serif;
	text-align: left;
	}

/* page head */
h1 {
	font-family: "Helvetica Neue UltraLight", "HelveticaNeue-UltraLight",
				"Helvetica Neue Light”, “HelveticaNeue-Light",
				"DejaVu Sans ExtraLight", "DejaVuSans-ExtraLight",
				"DejaVu Sans Light", "DejaVuSans-Light",
				"Open Sans Light", "OpenSans-Light",
				"Liberation Sans Narrow",
				"HelveticaNeue", Helvetica, Arial, sans-serif;
	font-size: 32pt; /* max size */
	font-weight: 100; /* 100=UltraLight */
	text-align: center;
	border: 0;
	padding: 0;
	padding-top: .2em;
	padding-bottom: .2em;
	margin: 0;
	margin-right: auto;
	margin-left: auto;
	max-width: 16em;
	}

h2 {
	padding-top: 0;
	font-weight: bold;
	font-size: 14pt; /* large size */
	}
h3 {
	padding-top: 0;
	font-weight: normal;
	font-style: italic;
	font-size: 14pt; /* large size */
	}
h4 {
	padding-top: 0;
	font-weight: bold;
	font-size: 12pt; /* large size */
	}
div {
	padding: 0;
	margin: 0;
	border: 0;
	margin-left: auto;
	margin-right: auto;
	display: block;
	max-width: 62em;
	}
#topbar {
	margin-top: 0;
	margin-bottom: 0;
	}

#pagebar {
	margin-top: 0;
	margin-bottom: 0;
	background-color: #dddddd;
	}

/* main content area */
#main {
	padding: 0;
	margin-left: auto;
	margin-right: auto;
	display: block;
	max-width: 62em;
	}
p {
	max-width: 40em;
	clear: both;
	}
ul {
	padding-left: 1em;
	list-style-type: disc;
	}
li {
	max-width: 40em;
	margin-bottom: 10px;
	}
code {
	font-family: Menlo, 'DejaVu LGC Sans Mono', 'DejaVu Sans Mono',
				Consolas, 'Everson Mono', 'Lucida Console', 'Andale Mono',
				'Nimbus Mono L', 'Liberation Mono', FreeMono, 'Osaka Monospaced',
				Courier, 'New Courier', monospace;
	font-size: 95%;
	}

table {
	border-style: none;
	border-collapse: collapse;
	max-width: 100%;
	}
.sct {
	text-align: center;
	font-size: 10pt; /* small size */
	}
td {
	max-width: 40em;
	border-style: solid;
	border-width: 1px;
	}
th {
	border-style: solid;
	border-width: 1px;
	}
.vam{
	vertical-align: middle;
	}
/* text in rows starts at top */
.sytr {
	vertical-align: top;
	}
/* keep colums a wide enough */
.sytd {
	min-width: 11em;
	}
a {
	color: #990000;
	text-decoration: none;
	}
a:visited {
	color: #990000;
	}
a:focus {
	font-weight: bold;
	}
/* topbar menu entry */
.entry {
	margin: 0;
	height: 20px;
	padding-top: 8px;
	padding-bottom: 14px;
	padding-right: 1em;
	font-weight: bold;
	font-size: 12pt;
	float: left;
	}
.selected {
	color: #990000;
	font-weight: bold;
	}
.selected:visited{
	color: black;
	font-weight: normal;
	}
/* pagebar menu entry */
.page_entry {
	margin: 1px;
	height: 20px;
	padding-top: 8px;
	padding-bottom: 2px;
	padding-right: 1em;
	padding-left: 1em;
	font-weight: normal;
	font-size: 10pt;
	float: left;
	background-color: #e0e0e0;
	}
.normie {
	font-size: 12pt; /* base size */
	font-weight: normal;
	}
/* link to paper */
.paper {
	font-weight: bold;
	}
/* try to disable text selection marking, rgba() not standards compliant? */
::selection {
	background: rgba(255, 200, 200, 0); /* Safari */
	}
::-moz-selection {
	background: rgba(255, 200, 200, 0); /* Firefox */
	}

/* EOF */