/*
 * 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;
	border-style: dotted;
	border-width: 0px 0px 1px 0px;
	border-color: #053788;
}
a:hover {
	text-decoration: none;
	color: #053788;
	border-style: solid;
	border-width: 0px 0px 1px 0px;
	border-color: #053788;
}

/* Header */
#header {
    min-width: 620px;
/*    margin: 25px 100px 0px 100px; */
	margin: 25px auto 0px auto;
	max-width: 850px;
	padding: 12px;
	border-width: 1px;
	border-style: dotted;
	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 {
    min-width: 620px;
    /* margin: 0px 100px; */
	margin: 0px auto;
	max-width: 850px;
    height: 15px;
    padding: 0px;
}
#menu ul {
    list-style: none;
    margin: 0px;
    padding: 0px;
    list-style-type: none;
}
#menu li {
    font-size: 8pt;
    font-family: Verdana, Arial, Helvetica, Sans-Serif;
    font-weight: normal;
    padding: 4px;
    margin: 0px 5px 0px 0px;
    float: left;
    width: 125px;
    text-align: center;
    border-style: dotted;
    border-color: black;
    border-width: 0px 1px 1px 1px;
    cursor: default;
    position: relative;
}
#menu a {
    border-width: 0px;
    text-decoration: none;
    display: block;
    width: 100%;
    color: black;
}

#menu li:hover {
    background-color: #E8EDEE;
}
#menu li:hover ul, #menu li.over ul {
    display: block;
}

/* Submenu stuff... */
#menu li ul {
    display: none;
    position: absolute;
    margin: 5px 0px 0px -5px;

    /* THIS IS FOR FUCKING IE !!!!!!!! *grrrr */
    /* Don't ask why the numbers have those values!! */
    top: 17px;
    left: 4px;
}
#menu li > ul {
    /* THIS is to correct d4 shit in normal browsers */
    top: auto;
    left: auto;
}

#menu ul li ul li {
    margin: 0px;
    border-style: dotted;
    border-width: 0px 1px 1px 1px;
    padding-left: 14px;
    width: 115px;
    float: none;
    background-image: url('menubg.png');

}
#menu ul li ul li:hover {
    background-color: white;
}


/* 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 { background-color: white; }
#mi02 ul li { background-color: #E0EEDA; }
#mi03 ul li { background-color: #D8EEE7; }
#mi04 ul li { background-color: white; }
#mi05 ul li { background-color: #E2D6EB; }



/* Content */
#content {
    min-width: 620px;
    /*margin: 15px 100px;*/
	margin: 15px auto;
	max-width: 850px;
	padding: 12px;
	background-color: #F8FAFC;
	border-width: 1px;
	border-style: dotted;
	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 100px;*/
    margin: 0px auto;
	max-width: 850px;
	padding: 3px 12px 3px 12px;
	border-width: 1px;
	border-color: #000000;
	border-style: dotted;
	background-color: #F8FAFC;
	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: normal;
	border-width: 0px 0px 1px 0px;
	border-style: dotted;
	border-color: #1A6385;
}

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 20px;
	border-width: 0px;
	margin: 0px 25px 25px 25px;
}

.formula {
	padding: 5px 10px;
	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: dotted;
    border-color: black;
}

#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: dotted;
	border-width: 0 0 1px 0;
	border-color: black;   
    padding: 25px 0 25px 0;
}

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

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