/*
 * This file contains style sheet definitions concerning the look
 * of the page.
 *
 * Copyright (c) 2005 by Jakob Vogel <jakob.vogel@in.tum.de>
 */

/* General elements. */
body {
	background-color : #ffffff;
}

a, a:active, a:focus, a:hover, a:link {
	text-decoration : none;
	color : #0000d0;
}

a:visited {
	text-decoration : none;
	color : #5050d0;
}

a:hover {
	text-decoration : underline;
}

h2 {
	font-family : Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-size : 18px;
	font-weight : bold;
	line-height : 20px;
	color : #0000d0;
}

h3 {
	font-family : Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-size : 14px;
	font-weight : bold;
	line-height : 16px;
	color : #0000d0;
}

/* Named elements. */
table#menu_table {
	border: 1px solid #555555;
	background: #aaaaaa;
}

td#page_head {
	border-bottom: 1px solid #555555;
}

td#page_foot {
	border-top: 1px solid #555555;
	background: #aaaaaa;
}

div#location_field, div#tool_field {
	font-family : Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-size : 10px;
	color : #404040;
}

div#main_field {
	font-family : Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-size : 12px;
	line-height : 18px;
	color : #404040;
}

div#imprint_field {
	font-family : Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-size : 10px;
	line-height : 15px;
	color : #404040;
}

/* Element classes. */
td.menu_cell {
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
	text-decoration: none;
	color: #ffffff;
	border: 2px solid #aaaaaa;
}

a.menu_link, a.menu_link:hover, a.menu_link:active, a.menu_link:focus, a.menu_link:visited, a.menu_link:link {
	font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
	text-decoration: none;
	color: #ffffff;
}

a.help_link, a.help_link:hover, a.help_link:active, a.help_link:focus, a.help_link:visited, a.help_link:link {
	border-width: 0px;
	border-bottom-width: 1px;
	border-style: dotted;
	text-decoration: none;
	color: #0000d0;
}

a.help_link:visited {
	color: #5050d0;
}

a.error_link, a.error_link:hover, a.error_link:active, a.error_link:focus, a.error_link:visited, a.error_link:link {
	text-decoration: none;
	color: #d00000;
}

a.error_link:visited {
	color: #d05050;
}

a.error_link:hover {
	text-decoration: underline;
}

div.spacer_foot {
	border-color: #aaaaaa;
}

div.spacer_white {
	border-color: #ffffff;
}

/* Hints. */
div.error, div.warning, div.information, div.hint {
	font-family : Verdana, Geneva, Arial, Helvetica, sans-serif;
	font-size : 12px;
}

div.error {
	color: #800000;
	background: #ff8080;
	border: 1px solid #800000;
}

div.warning {
	color: #808000;
	background: #ffff80;
	border: 1px solid #808000;
}

div.information {
	color: #000080;
	background: #8080ff;
	border: 1px solid #000080;
}

div.idea {
	color: #008000;
	background: #80ff80;
	border: 1px solid #008000;
}

div.hint {
	color: #000080;
	background: #8080ff;
	border: 1px solid #000080;
}

/* Preview. */
div.preview_head {
}

div.preview_text {
	font-style: italic;
}

div.preview_details {
	font-size: 9px;
}

/* Document inlining */
table.document_inline {
	border: 0px;
}

/* Document inlining: Plain */
pre.plain_line_numbers {
	background: #eeeeee;
	border: 2px solid #eeeeee;
}

pre.plain_text {
	background: #cccccc;
	border: 2px solid #cccccc;
}

/* Document inlining: Java */
pre.java_line_numbers {
	background: #eeeeee;
	border: 2px solid #eeeeee;
}

pre.java_text {
	background: #cccccc;
	border: 2px solid #cccccc;
}

span.java_keywords {	
	font-weight: bold;
}

span.java_primitive_types {
	color: #800000;
	font-weight: bold;
}

span.java_standard_values {
	color: #ff8000;
	font-weight: bold;
}

span.java_comment {
	color: #008000;
}

span.java_string {
	color: #ff0000;
	font-style: italic;
}

span.java_character {
	color: #ff00ff;
	font-style: italic;
}

span.javadoc_comment {
	color: #000080;
}

span.javadoc_tags {
	color: #8080ff;
}

span.javadoc_keywords {
	color: #8080ff;
	font-weight: bold;
}