@charset "UTF-8";

/*Copyright 2010, 2011 j. 'mach' wust. This work is licensed under the Creative Commons Attribution-Share Alike 3.0 License. To view a copy of this license, visit http://creativecommons.org/licenses/by-sa/3.0/ or send a letter to Creative Commons, 171 Second Street, Suite 300, San Francisco, California, 94105, USA.*/

@font-face {
	font-family: 'UnifrakturMaguntia';
	src: local('UnifrakturMaguntia'),
		url('/html-files/font-versions/UnifrakturMaguntia.2016-02-21.woff2') format('woff2'),
		url('/html-files/font-versions/UnifrakturMaguntia.2016-02-21.woff') format('woff'),
		url('/html-files/font-versions/UnifrakturMaguntia.2016-02-21.ttf') format('truetype');
	font-weight: normal;
	font-style: normal;
}
@font-face {
	font-family: 'UnifrakturCook';
	src: local('UnifrakturCook'),
		url('/html-files/font-versions/UnifrakturCook.2013-08-25.woff2') format('woff2'),
		url('/html-files/font-versions/UnifrakturCook.2013-08-25.woff') format('woff'),
		url('/html-files/font-versions/UnifrakturCook.2013-08-25.ttf') format('truetype');
	font-weight: normal;
	font-style: normal;
}

/*FONT STYLES*/

.cook-huge {
	font-family: UnifrakturCook;
	font-size: xx-large;
}
.maguntia-huge {
	font-family: UnifrakturMaguntia;
	font-size: xx-large;
}
.antiqua {
	font-family: serif, sans-serif;
}
em {
	letter-spacing: 0.2em;
	font-style: normal;
	font-weight: normal;
	font-feature-settings: "liga" 0, "rlig", "ccmp" !important;
	-webkit-font-feature-settings: "liga" 0, "rlig", "ccmp" !important;
	-ms-font-feature-settings: "liga" 0, "rlig", "ccmp" !important;
}
body * { /*trying to solve strange IE9 behaviour*/
	font-family: UnifrakturMaguntia;
	-webkit-font-feature-settings: "liga", "rlig", "ccmp";
	-ms-font-feature-settings: "liga", "rlig", "ccmp";
}
h1, h2, h3, #navigation p, dt, th {
	font-family: UnifrakturCook;
	font-style: normal;
	font-weight: normal;
}	
h1 .antiqua, h1.antiqua, h2 .antiqua, h2.antiqua, h3 .antiqua, h3.antiqua, #navigation p .antiqua, p.antiqua, dt .antiqua, dt.antiqua, th .antiqua, th.antiqua {
	font-weight: bold;
}
code, pre {
	font-family: monospace;
}
.antiqua {
	font-family: serif;
}
code, pre, .antiqua {
	font-size: 95%;
}


/*PAGE STRUCTURE*/

body {
	line-height: 1.2em;
	font-size: 16pt;
	background-color: white;
	color: black;
}
#jump-to-nav {
	display: none;
}
#text {
	width: 75%;
}
#text div, #text pre, #navigation {
	overflow: auto;
}
#navigation {
	position: fixed;
	top: 0px;
	bottom: 0px;
	right: 0px;
	width: 22%;
	padding: 10px;
	background-color: #DEDEDE;
}
#navigation .language-select {
	list-style-type: none;
	text-align: right;
	margin: 0px;
	font-size: 75%;
}
#navigation p {
	margin-top: 0px;
}
#navigation > div:first-child {
	display:none;
}


/*OTHER*/

dt {
	margin-top: 1em;
}
a {
	text-decoration: none;
}
a:hover, a:focus {
	text-decoration: underline;
}
a.external:after {
	content:" [↪]";
	vertical-align: text-top;
	font-size: x-small;
}
a.anchor:after {
	content:" [↕]";
	vertical-align: text-top;
	font-size: x-small;
}
ol ol {
	list-style-type: lower-latin;
}
abbr, acronym {
	border-bottom: none;
}
abbr[title], acronym[title] {
	border-bottom: 1px dotted;
}


/*TABLES*/

table {
	border-collapse:collapse;
	background-color: white;
	table-layout: fixed;
}
th, td {
	padding: 5px;
	text-align: center;
}
table ul {
	padding: 0px;
	list-style-type: none;
}
.none {
	background-color: silver;
}
.full_support {
	background-color: #4f2;
}
.partial_support {
	background-color: #fe0;
}
.no_support {
	background-color: #ff8a80;
}