/*
css for Wunderkammer and wkimport documentation files.

Design and initial coding of this file by Elwin Cross. Merged with existing docstyle.css and cleaned up by James McElvenny, 20090604.
Last modified 20100815
*/

body
{
	width:100%;
	margin:0px;
	background-image:url('frogbackground.jpg');
	background-position:300px 200px;
	background-attachment:fixed;
	white-space:nowrap;
	background-repeat:no-repeat;
	font-size:large;
	line-height:1.4;
	font-family:serif;
}

div.header 
{
	position: absolute;
	left: 210px;
	right:0px;
	width: 100%;
	height: 100px;
	/*border-bottom: 30px solid #4e4e4e; */
	/*background-image: url('frogicon.jpg'); /*top frog icon*/
	background-repeat: no-repeat;
	background-position: top left;
}

div.index 
{
	position:absolute;
	left: 0px;
	right: 0px;
	top:100px;
	height: 150%;
	width: 210px;
	color:#000000;
	/*background-color: #f9f9f9;*/
	/*border-right: 3px solid #99c4e4;*/
	background-image: url('farbverlauf.png');
	background-repeat: vertical;
	line-height: 50px;
}


div.maindiv 
{
	padding-left: 250px;
	padding-top: 170px;
	padding-right: 50px;
	color:black;
	white-space: normal;
}

div.appletdiv
{
	display: block;
	margin-left: auto;
	margin-right: auto;
	width: 230px;
}

div.langselect
{
	text-align:right;
}


h1 
{
	font-weight: bold;
	/*font-size-adjust:0.80;*/
	font-family:times;
	color: #000000;
	/*text-align: center;*/
}

h2 
{
	color:black;
	font-size-adjust: 0.40
	width:100%;
	border-bottom: 3px solid #99c4e4;
}


code
{
    border: thin dotted #000000;
    background-color: #F1F1F1;
    padding-left: 1%;
    padding-right: 1%;
    display: inline;
    color: #000000;
    font-family: courier, fixed, monospace;
}

code.block
{
    display: block;
    white-space: pre;
}

img
{
	display: block;
	margin-left: auto;
	margin-right: auto;
	border: none;
}

captiontext
{
	display: block;
    font-size: small;
    font-style: italic;
    text-align: center;
}

table
{
	display: table;
	width: 80%;
	border: thin solid #000000;
}

td
{
	display: table-cell;
	border: thin dotted #000000;
	padding: 3px;
	text-align: center;
}

a:link
{
    background-color: inherit;
    color: #0000FF;
    text-decoration: none;
}

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

a:hover
{
    text-decoration: underline;
}

a:active
{
    color: #9900FF;
    text-decoration: underline;
}

.index a
{
	color: #0000ff;
	font-size-adjust: 0.40;
	text-decoration: none;
}

.index a:visited
{
	color:#0000ff;
	font-size-adjust: 0.40;
	text-decoration:none;
}

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

.index a:active
{
    color: #9900FF;
    text-decoration: underline;
}

li
{
	line-height:2em;
	padding-bottom:10px;
	white-space: pre-line;
}