@charset "utf-8";
body {
	margin: 0;
	padding: 0;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10pt;
}

td {
	font-size: 10pt;
}

table {
	border-collapse: collapse;
}

div.sticky {
	padding: 20px;
	-webkit-box-shadow: 3px 3px 5px 0 rgba(15,15,0,1);
	-moz-box-shadow: 3px 3px 5px 0 rgba(15,15,0,1);
	box-shadow: 3px 3px 5px 0 rgba(15,15,0,1);
	background-color: #FBFFE3;
}

a:link {
	color: #004a8f;
}

a:visited {
	color: #004a8f;
}

a:hover {
	color: #004a8f;
}

a:active {
	color: #004a8f;
}

ul {
	list-style: circle;
	margin: 0;
	padding: 0;
}

li {
	margin: 0;
	margin-left: 20px;
	padding: 0;
}

p {
	margin-top: 10px;
	margin-bottom: 10px;
}

/* ---------------------------------- */

p.point {
	font-weight: bold;
	font-style: italic;
}

p.point2 {
	font-style: italic;
}

span.small {
	font-size: 8pt;
}

/* ---------------------------------- */

div.head {
	background: url(gfx/uni-wuerzburg-header-background.png) no-repeat 200px 0 #d1d4d4;
	width: 905px;
	height: 71px;
	position: relative;
}

div.head::after {
	content: '';
	position: absolute;
	width: 200px;
	height: 71px;
	top: 0;
	left: 0;
	background: url(gfx/uni-wuerzburg-logo.svg) no-repeat 0 0;
	background-size: 161px 71px;
}

div.head .hname {
	position: absolute;
	left: 203px;
	top: 4px;
	height: 60px;
	background-image: url(gfx/casetrain_homepage.png);
	background-repeat: no-repeat;
	width: 605px;
}

div.ide_footer {
	position: absolute;
	bottom: 1px;
	right: 1px;
	font-size: 8pt;
}

div.ide_footer a {
	text-decoration: none;
	color: #000;
}

div.ide_footer a:visited {
	color: #000;
}


/* ---------------------------------- */

div.nav {
	position: absolute;
	top: 71px;
	left: 0;
	height: 30px;
	width: 905px;
	background-color: #F9FAFB;
	border-top: 2px solid #4B4E55;
	border-bottom: 2px solid #4B4E55;
}

div.nitem {
	height: 30px;
	font-weight: bold;
	padding: 6px 12.5px;
	box-sizing: border-box;
	white-space: nowrap
}

/*
div.nitem.nitemfirst {
	padding-left: 19px;
	padding-right: 18px;
}
*/

div.nitem a:link {
	color: #000000;
	text-decoration: none;
}

div.nitem a:visited {
	color: #000000;
	text-decoration: none;
}

div.nitem a:hover {
	color: #000000;
	text-decoration: none;
}

div.nitem a:active {
	color: #000000;
	text-decoration: none;
}

div.nitema {
	background-color: #C8DDF4;
}

div.nitem:not(.nitema):hover {
	background-color: #DEEEFF;
}

div.niteml {
	float: left;
}

div.nitemr {
	float: right;
}

/* ---------------------------------- */

div.main {
	top: 105px;
	position: absolute;
	left: 0;
	width: 905px;
	background-color: #F0F1F2;
}

/* ---------------------------------- */

div.start {
	height: 750px;
}

div.startcenter {
	position: absolute;
	top: 0;
	left: 10px;
	width: 675px;
	font-size: 12pt;
}

div.startcenter2 {
	padding: 10px;
}

div.startright {
	position: absolute;
	top: 0;
	left: 685px;
	width: 220px;
	border-left: solid 1px white;
	box-sizing: border-box;
	padding: 10px;
}

/* ---------------------------------- */

div.startright p.start {
	font-size: 16pt;
	font-weight: bold;
	font-style: italic;
	margin-bottom: 0;
	padding-top: 12px;
	/* padding-top: 4px; */
	padding-bottom: 16px;
	padding-left: 10px;
	padding-right: 10px;
	margin-left: -5px;
	text-align:center;
	background:url(gfx/start.png);
	background-repeat:no-repeat;
	white-space:nowrap;
}

div.startright h3 {
	margin: 15px 0 0 0 !important;
	color: black !important;
	font-weight: normal;
}

div.cases {
	padding: 10px;
	font-size: 10pt;
}

div.stats {
	padding: 10px;
	font-size: 8pt;
}

div.stats p {
	margin-bottom: 0;
}

/* ---------------------------------- */

div.press {
	height: 2970px;
}

div.papers p {
	border: solid 1px #d5d5d5;
	background-color: #FFF;
	padding: 10px;
	margin-top: 20px;
	padding-left: 20px;
}

/* ---------------------------------- */

div.author {
	height: 700px;
}

div.authorleft {
	position: absolute;
	top: 0;
	left: 0;
	width: 450px;
	border-right: solid 1px white;
}

div.author2 {
	padding: 25px;
}

div.author2left {
	padding-top: 0;
}

div.authorright {
	position: absolute;
	top: 0;
	left: 450px;
	width: 450px;
}

/* ---------------------------------- */

div.body2 {
	padding: 25px;
}

div.main h1 {
	font-size: 14pt;
	margin-top: 30px;
	margin-bottom: 5px;
	color: #004a8f;
}

div.main h2 {
	font-size: 12pt;
	margin-top: 5px;
	margin-bottom: 5px;
	color: #004a8f;
}

div.main h2.space {
	font-size: 12pt;
	margin-top: 25px;
	margin-bottom: 10px;
}

div.main h3 {
	font-size: 11pt;
	margin-top: 25px;
	margin-bottom: 10px;
	color: #004a8f;
}

div.main h4 {
	font-size: 10pt;
	font-weight: bold;
	margin-top: 1em;
	margin-bottom: 0;
	color: black;
}

div.main h4 + p {
	margin-top: 0;
}

/* ---------------------------------- */

iframe.ide_frame {
	width: 840px;
	height: 200px;
}

iframe.ide_trackerframe {
	width: 840px;
	height: 140px;
}

div.bugcontact {
	position: absolute;
	top: 50px;
	left: 502px;
	width: 380px;
}

table.bug {
	width: 400px;
}

table.nobug {
	background-image: url(/gfx/ok.gif);
	background-repeat: no-repeat;
}

table.bug td {
	border: 1px solid #333333;
	font-size: 9pt;
	padding: 2px;
}

td.bugperson {
	width: 320px;
}

td.bugdate {
	width: 80px;
}

table.bugfull {
	width: 800px;
}

table.bugfull td {
	border: 1px solid #333333;
	font-size: 9pt;
	padding: 2px;
}

td.bugplace {
	width: 100px;
}

td.bugstate {
	width: 300px;
	font-weight: bold;
}

td.bugGreen {
	color: #00AA00;
}

td.bugRed {
	color: #DD0000;
}

/* ---------------------------------- */

div.navdoku {
	position: absolute;
	top: 105px;
	left: 0;
	width: 105px;
}

div.navdoku p {
	font-size: 8pt;
	padding: 0;
	margin: 0;
	padding-left: 5px;
	padding-top: 3px;
}

div.navdoku p.f {
	font-weight: bold;
	padding-top: 18px;
	text-decoration: underline;
}

div.navdoku div.nitem {
	width: 100%;
	height: 20px;
	font-weight: normal;
	font-size: 9pt;
	text-align: right;
	background-color: #F9FAFB;
	border-bottom: solid 1px #CCC;
	box-sizing: border-box;
	padding: 2px;
}

div.navdoku div.nitema {
	background-color: #C8DDF4;
}

div.navdoku div.nitem:not(.nitema):hover {
	background-color: #DEEEFF;
}

div.bodydoku {
	width: 800px;
	top: 105px;
	left: 105px;
	border-left: solid 1px black;
	min-height: 500px;
}

div.bodydoku2 {
	padding: 25px;
	padding-top: 0;
}

div.bodydoku2 h1 {
	margin-top: 30px;
	margin-bottom: 5px;
}

div.bodydoku2 h2 {
	margin-top: 20px;
	margin-bottom: 5px;
}

div.bodydoku2 h3 {
	margin-top: 15px;
	margin-bottom: 5px;
}

table.code {
	width: 700px;
	background-color: white;
}

table.code td {
	padding: 2px;
	font-family: Courier, monospace;
	font-size: 10pt;
	border: solid 1px #555555;
	vertical-align: top;
}

.hint {
	font-family: Arial, Helvetica, sans-serif;
	background-color: #FEFFC6;
}

table.code td.codeleft {
	width: 100px;
	vertical-align: top;
}

table.code td.coderight {
	width: 600px;
}

.codelink {
	font-family: Courier, monospace;
}

p.codelink {
	background-color: white;
	padding: 10px;
	border: solid 1px #333333;
}

.notyet {
	color: #666666;
}

/* --------------------------------- */

div.howto {
	background-color: #FFF;
	font-size: 14pt;
	font-weight: normal;
	border-right: solid 1px #F0F1F2;
}

div.howto2 {
	padding: 30px;
}

div.howto h1 {
	font-style: italic;
	font-weight: bold;
	font-size: 24pt;
	color: #004a8f;
	margin: 10px 0 10px 0;
}

div.howto h2 {
	font-style: italic;
	font-weight: bold;
	font-size: 16pt;
	color: #004a8f
	margin: 10px 0 10px 0;
}

div.howto table {
	font-size: 14pt;
}

div.howto table td {
	vertical-align: top;
}

div.howto table td.right {
	padding-left: 20px;
}

div.nitemhowto {
	font-style: italic;
	background-image:url(howto/navback.png);
	background-position:center;
	background-repeat:no-repeat;
}

div.nitemhowto a:link {
	color: #FFF;
}

div.nitemhowto a:visited {
	color: #FFF;
}

div.nitemhowto a:hover {
	color: #FFF;
}

div.nitemhowto a:active {
	color: #FFF;
}

/* --------------------------------- */

table.excel {
	border-collapse:collapse;
}

table.excel p {
	margin: 0;
}

table.excel td.excel_corner {
	text-align:right;
	vertical-align:bottom;
}

table.excel td {
	background-color:#FFF;
	border: solid 1px #999;
	padding: 2px;
	text-align: left;
	font-family: Verdana, Geneva, sans-serif;
	font-size: 10pt;
}

table.excel tr.excel_header td {
	text-align: center;
	border-top: none;
	border-bottom-color:#333;
	border-collapse:collapse;
}

table.excel td:first-child {
	width: 20px;
	text-align: center;
	border-left: none;
	border-right-color:#333;
}

h1.chhead {
	border: solid 2px #004a8f;
	padding: 5px 5px;
	background-color: white;
	cursor: pointer;
	user-select: none;
	-moz-user-select: none; /* thanks mozilla */
	position: relative;
    padding-left: 30px;
}

h1.chhead:before {
	content: '▲';
    position: absolute;
    width: 20px;
    height: 20px;
    left: 5px;
    vertical-align: middle;
    line-height: 20px;
    text-align: center;
	transform: rotate(90deg);
	font-size: 11pt;
}

h1.chhead[active="1"]:before {
	transform: rotate(180deg);
	margin-top: 1px;
}

div.imgwrap {
	border: solid 2px #004a8f;
	position: relative;
	display: inline-block;
	cursor: pointer;
}

div.imgwrap > div {
	position: absolute;
	background-color: #004a8f;
	color: white;
	border-bottom-left-radius: 10px;
	width: 12px;
	height: 12px;
	top: 0;
	right: 0;
	line-height: 10px;
	padding-left: 3px;
	box-sizing: border-box;
}

p.expand {
	background-color: #004a8f;
	color: white;
	font-weight: bold;
	padding: 3px 20px 3px 10px;
	margin-top: 0;
	display: inline-block;
	cursor: pointer;
}

div.sticky {
	transform: rotate(-2deg);
    float: right;
    margin-right: -50px;
    margin-top: -15px;
    padding: 10px;
    width: 250px;
    background-color: #FFC;
    border: solid 1px #9a9a72;
    box-shadow: 3px 3px 5px 0px grey;
    position: relative;
    font-family: cursive;
    font-size: smaller;
}

div.sticky:after {
	content: '';
    width: 26px;
    height: 34px;
    background: url(gfx/clip.png);
    position: absolute;
    right: 7px;
    top: -13px;
}

p.navlinks {
	text-align: right;
	margin-top: -10px;
	margin-bottom: -10px;
}