/*
 * a style sheet :>
 */

body {
	background-color: #DCE2EA;
	font-family: Georgia, "Palatino Linotype", "Times New Roman", Serif;
	font-size: 10.5pt;
	margin: 0px;
	color: #000000;
    padding: 0px;
}
a {
	color: #053788;
	text-decoration: none;
}
a:hover {
	text-decoration: underline;
	color: #053788;
}

/* Header */
#header {
    min-width: 620px;
    height: 60px;
    margin: 25px 50px 0px 50px;
	padding: 12px;
	border-width: 1px;
	border-style: solid;
    border-color: #4C4C4C;
	background-color: #CDE1EC;
	background-image: url('head.jpg');
    background-repeat: repeat-y;
	font-weight: bold;
	font-family: Courier New, fixed;
	text-align: left;
}

#header h1 {
  font-size: 22pt;
  letter-spacing: 2px;
  margin: 0px;
}

#header h2 {
  font-size: 10pt;
  margin: 0px;
}


/* NAVIGATION MENU */
#menu {
    margin: 0px;
    padding: 0px;
    width: 175px;
    position: absolute;
    top: 125px;
    left: 50px;
    border-width: 1px;
    border-style: solid;
    border-color: #4C4C4C;
}
#menu ul { /* List */
    padding: 0px;
    margin: 0px;
    display: block;
}
#menu li { /* List Item */
    padding: 10px;
    margin: 0px;
    list-style: none;
    border-color: #DDDDDD black #999999 black;
    border-style: solid;
    border-width: 1px 0px 1px 0px;
    font-weight: bold;
    font-family: Verdana, Arial, Helvetica, Sans-Serif;
    font-size: 10pt;
}
#menu li ul { /* Subemenu */
    margin: 5px 0px 0px 10px;
}
#menu li ul li { /* Submenu Item */
    border-width: 0px;
    padding: 2px;
    font-weight: normal;
    font-size: 9pt;
}
#menu a {
    border-width: 0px;
    text-decoration: none;
}
#menu a:hover {
    text-decoration: underline;
}

/* Styles for each menu! */
li#mi01, #mi01 li { background-color: #F0E8CB; }
li#mi02, #mi02 li { background-color: #D5F0CB; }
li#mi03, #mi03 li { background-color: #CBF0E4; }
li#mi04, #mi04 li { background-color: #F0CBCB; }
li#mi05, #mi05 li { background-color: #E0CBF0; }
#mi01 ul li {  }
#mi02 ul li {  }
#mi03 ul li {  }
#mi04 ul li {  }
#mi05 ul li {  }



/* Content */
#content {
    min-width: 620px;
    margin: 15px 50px 15px 240px;
	padding: 12px;
	background-color: #F8FAFC;
	border-width: 1px;
	border-style: solid;
    border-color: #4C4C4C;
	text-align: justify;
	line-height: 15pt;
}
#content h1 {
	font-size: 14pt;
	font-weight: bold;
	margin: 0px;
	padding: 10pt 0pt;
}
#content h2 {
	font-size: 12pt;
	font-weight: bold;
	padding: 15pt 0pt 0pt 0pt;
}
#content p {
	padding: 5px 0px;
}

/* Impressum */
#impressum {
    min-width: 620px;
    margin: 0px 50px 0px 240px;
	padding: 3px 12px 3px 12px;
	border-width: 1px;
	border-color: #4C4C4C;
	border-style: solid;
	background-color: #EEF4F9;
	font-family: Verdana, Arial, Helvetica, Sans-Serif;
	font-size: 8pt;
	color: #000000;
	text-align: center;
}


/* Allgmeine Elemente */
table {
	border-collapse: collapse;
	border-width: 0px;
	border-spacing: 0px;
	padding: 0px;
}
td {
	border-width: 0px;
	border-style: solid;
	padding: 2px;
	margin: 0px;
}

em {
	font-style: italic;
}

strong {
	font-weight: bold;
}

code {
	font-family: Courier New, Monospace, fixed;
	color: #0000AA;
}



/* Input Klassen */
input.text, textarea.text, input.inputform, textarea.inputform{
	border: 1px solid;
	border-color: #AAAAAA;
	padding: 2px;
}
input.text:focus, textarea.text:focus{
	border: 1px solid;
	border-color: #002276 #4A5F9A #4A5F9A #002276;
	background-color: #EBF5FF;
	padding: 2px;
}

/* Our boxes */
.latexformula {
	padding: 0px 10px;
	border-width: 0px;
	margin: 0px 25px 25px 25px;
}

.formula {
	padding: 5px 20px;
	background-color: #E5F3F5;
	border-width: 0px;
	margin: 0px 25px 25px 25px;
	color: #333333;
	font-family: Verdana, Sans-Serif;
	font-size:10pt;
}

.box, .example, .definition {
	background-color: #E5F3F5;
	border-width: 0px;
	text-align: left;
	padding: 10px;
	margin: 0px 25px 25px 25px;
}

.code {
	font-family: Courier New, Monospace, fixed;
	font-size: 10pt;
	line-height: 12pt;
	white-space: pre;
	margin: 0px 25px 25px 25px;
	padding: 5px 10px;
	border-width: 0px;
	background-color: #E5F3F5;
}

.error {
	background-color: #F5E5E7;
	border-width: 0px;
	text-align: left;
	padding: 10px;
	margin: 0px 25px 25px 25px;
}

.definition .math, .box .math, .example .math {
	font-family: Verdana, Sans-Serif;
	font-size:10pt;
	color: #333333;
	font-style: normal;
	font-weight: normal;
}

.definition p {
	margin: 10pt 0pt;
	padding: 0px;
}

/* Table stuff */
.table_box {
	border-collapse: collapse;
	border-width: 0px;
	border-spacing: 0px;
	padding: 0px;
	margin: 0px 25px 0px 25px;
}
.td_box_head {
	border-width: 1px;
	border-style: solid;
	border-color: #F8FAFC;
	background-color: #CAE3EF;
	padding: 3px 15px 3px 15px;
	font-weight: bold;
}
.td_box_cont {
	border-width: 1px;
	border-style: solid;
	border-color: #F8FAFC;
	background-color: #E5F3F5;
	padding: 3px 15px 3px 15px;
	font-weight: normal;
}



/* Papers Section */
.paper_item h2 {
	margin: 0px;
	padding: 0px;
}
.paper_item h3 {
	font-weight: normal;
	font-size: 8pt;
	padding: 0px;
	margin: 0px;
	color: #888888;
}
.paper_item p {
	font-size: 10pt;
	padding: 0px;
	margin: 5px 0 5px 0;
	font-style: italic;
}



/* Various Styles */
.smaller {
	font-size: 9pt;
}
.math {
	font-style: italic;
	color: #880000;
}
.figure {
	border-width:1px;
	border-color: #000000;
	border-style:solid;
}
.figurenobox {
	margin: 10px;
}
.fixed {
	font-family: Courier New, fixed; 
	font-size: 10pt;
}


/* BLOG styles */
#bcomments {
    border-width: 0 0 1px 0;
	border-style: solid;
    border-color: #4C4C4C;
}

#bcomments ol {
	margin: 25px;
    padding: 0px;
}

#bcomments ol li {
	background-color: #E5F3F5;
	border-width: 0px;
	text-align: left;
	padding: 10px;
	margin: 0px 0px 25px 0px;
    list-style: none;
}

#bcomments ol li p {
    margin: 0px;
}

#bmenu {
	padding: 15px 0 0 0;
	display: block;
	margin: 0;
	top: 10px;
	/* float: right; */

}

#bmenu ul {
	list-style: none;
	margin: 0px;
	padding: 2px;
}

.bpost .bposttitle {
    font-size: 12pt;
    font-weight: bold;
	padding: 0;
	margin: 0;
}

.bpost .bmeta {
	margin: 1px 0 0 0;
    padding: 0px;
	font-size: 8pt;
	color: #888888;
}

.bpost {
	border-style: solid;
    border-color: #4C4C4C;
	border-width: 0 0 1px 0;
    padding: 25px 0 25px 0;
}

.bpost .bstorycontent {
    padding: 5px 25px 5px 25px;
}

.bpost .bstorycontent p {
    padding: 0;
    margin: 0;
}