/* Complete page */
div.page {
  position: absolute;
  top: 45px;
  left: 0px;
  width: 100%;
}

/* Links (left) */
div.menu {
  position: absolute;
  top: 0px;
  left: 0px;
  width: 165px;
  margin-left: 10px;
  border-width: 1px;
  border-style: none;
  border-color: #090B60;
  background-color: #eeeeee;
  padding: 5px;
  font-size: 10pt;
}

/* Content (right) */
div.content {
  margin-top: 0px;
  margin-left: 195px;
  margin-right: 30px;
  border-width: 1px;
  border-style: solid;
  border-color: #eeeeee;
  background-color: transparent;
  padding: 5pt;
  text-decoration: none;
  text-align: justify;
}

/* Buttons (bottom) */
div.footer {
	margin-top: 25px;
	margin-left: 175px;
	margin-right: 20px;
}

/* Headline of every page */
span.header {
	font-size: 18px;
	text-align: center;
	vertical-align: bottom;
	font-weight: bold;
	color: #000080;
}

/* Links on the left side */
div.menulink {
	margin-top: 0px;
	margin-bottom: 5px;
	margin-left: 0px;
	margin-right: 0px;
	border-style: none;
}

/* Horizontal lines within the menu */
hr.menu {
	text-align: center;
	height: 2px;
	background: #8c8e8c;
	border:0px white solid;
	margin-top: 2px;
}

a:link {
	text-decoration: none;
	color: #000080;
}
a:visited {
	text-decoration: none;
	color:#000090;
}
a:hover {
	text-decoration: underline;
	color:#0000ff;
}

div.center {
	text-align: center;
}

body.bodyMain {
	background-color: #ffffff;
	color: #000000;
	font-size: 13px;
	font-family: Sans-Serif;
	margin-top: 13px;
}

/* These are used in the footer */
img.footer {
	margin-bottom: 20px;
	margin-left: 10px;
	border: 0px;
	float: left;
}

/* This is used for the flag image indicating the language */
img.flagimage {
	margin-left: 5px;
	border: 0px;
}

img.longborder {
	margin: 10px;
	border: 0px;
}

/* Terminal window */
pre.xterm {	
	color: #ffffff;
	background-color: black;
	padding: 20px;
	border: 1px dotted white;
}

/* Vim Syntax Highlighting */
pre.code_asm {
	color: #c0c0c0;
	background-color: #000040;
	padding: 20px;
	border: 1px dotted #ffaf38;
}
pre.code_scm {
	color: #c0c0c0;
	background-color: #000040;
	padding: 20px;
	border: 1px dotted #ffaf38;
}
pre.code_c {
	color: #c0c0c0;
	background-color: #000040;
	padding: 20px;
	border: 1px dotted #ffaf38;
}


/* BibTeX reference */
pre.bibtex {
	color: #000000;
	background-color: #eeeeee;
	padding: 10px;
	border: 1px dotted red;
}

pre.xterm > span.green			{ color: #55ff55; }
pre.xterm > span.red 			{ color: #ff5555; }
pre.xterm > span.blue			{ color: #5454fb; }
pre.xterm > span.cyan 			{ color: #49dada; }

pre.code_asm > span.command		{ color: #40ffff; }
pre.code_asm > span.comment		{ color: #80a0ff; }
pre.code_asm > span.constant	{ color: #ffa0a0; }
pre.code_asm > span.preparser	{ color: #ffff60; }

pre.code_scm > span.comment		{ color: #80a0ff; }
pre.code_scm > span.constant	{ color: #ffa0a0; }
pre.code_scm > span.expression	{ color: #40ffff; }
pre.code_scm > span.keyword		{ color: #ffff60; }
pre.code_scm > span.syntax		{ color: #ffa500; }

pre.code_c > span.comment		{ color: #80a0ff; }
pre.code_c > span.type			{ color: #60ff60; }
pre.code_c > span.constant		{ color: #ffa0a0; }
pre.code_c > span.expression	{ color: #40ffff; }
pre.code_c > span.keyword		{ color: #ffff60; }
pre.code_c > span.syntax		{ color: #ffa500; }
pre.code_c > span.preprocessor	{ color: #ff80ff; }


div.mail_recv {
	color: #000000;
	background-color: #eeeeee;
	padding: 10px;
	border: 1px dotted red;
	font-family: courier, sans-serif;
	margin-bottom: 10px;
	font-size: 10pt;
}

div.mail_recv > span.header {
	font-weight: bold;
	font-size: 10pt;
}

table {
	border-collapse: collapse; 
	border: 2px solid #dddddd; 
}

td {
	border: 1px solid #cccccc; 
	padding: 3px; 
}

/* Row is bold-font */
tr.headrow {
	border: 2px solid #cccccc;
	padding: 3px;
	font-weight: bold;
}

/* Leftmost column is bold font, aligned at top */
table.descrowtabletop > tbody > tr > td:first-child {
	font-weight: bold;
	vertical-align: top;
}

/* Leftmost column is bold font, aligned at center */
table.descrowtable > tbody > tr > td:first-child {
	font-weight: bold;
}

hr {
	color: #cccccc;
	height: 2px;
}

input.button {
	color: black;
	background: #eeeeee;
	margin: 5px 5px 5px 15px;
	border-color: black;
	border-width: 1px;
}

input.slimbutton {
	color: black;
	background: #eeeeee;
	margin: 2px 2px 2px 2px;
	border-color: black;
	border-width: 1px;
}


input.textbox {
	border: 1px solid #909090;
	background: #eeeeee;
	font-size: 12px;
}

/* Centered formula, one beneath each other */
img.latexformula {
    margin-left: auto;
    margin-right: auto;
    display: block;
    margin-bottom: 6px;
}

img.centered {
    margin-left: auto;
    margin-right: auto;
    display: block;
    margin-bottom: 10px;
    margin-top: 10px;
}