/*
CSS by Philip Hornig
design by Weinert & Partner, 2010
extended by Konrad Polthier, 
            Isabella Thiesen,
	and Maximilian Dohlus
*/

body {
    font-size: 100%;
    margin: 0px;
    padding: 0px;
    color: #333333;
    max-width: 1100px; /* Added by Max */
    min-width: 800px;  /* Added by Max */
    font-family: Arial, Helvetica, Sans-Serif;
}

#wrapper {
    max-width: 1100px; /* Added by Max */
    min-width: 800px;  /* Added by Max */
    width: 960px;
    font-family: Arial, Helvetica, Sans-Serif;
    /* font-size: 0.75em; */
    /* line-height: 1.333em; */
    border:0px;
}

#MaxWrapper {
    max-width: 1100px; /* Added by Max */
    min-width: 800px;  /* Added by Max */
    width: 960px;
    font-family: Arial, Helvetica, Sans-Serif;
    font-size: 0.75em;
    line-height: 1.333em;
    padding: 0px 0 0 135px;

}


/*
 * Header
 */
#header {
    /*width: 805px;*/
    font-family: Arial, Helvetica, Sans-Serif;
    font-size: 1.333em;
    font-weight: bold;
    /*background-image: url('images/backg.png');*/
    background-repeat: no-repeat;
    padding: 0px 0 0 120px;
    line-height:1.5em;

}

#header img {
    border: 0px;
    margin: 0px;
    padding: 0px;
}

#header a {
    margin: 0;
    padding: 0;
}

#left_menu {
   /* float: left; */
   /* width: 585px;  */
   /* width:1020px; */
   width:960px;
   background-color:#DC3200;
   height:25px;
   font-style:italic
}

#right_menu {
    float: right;
    width: 145px;
}

#header td {
    width: 78px;
}

#header td.last {
    width: 58px;
}

/*
 * Content, ie. everything below header :)
 */
/*left/rightpadding was 155px, changed to 135 to be on one line
with the J of javaview logo and the "Home"-link on Konrads wish*/
#content {
    /* margin: 0px 135px 0px 135px; */
    margin: 34px 0 0 135px;
}


/* Main categories table on home page */
#categories {
    padding: 0;
    clear: both;
}

#category_table {
	/* Specify font again for compatibility with IE6, otherwise letters too big. */
	font-size: 1.0em;

    width: 805px;
    margin: 0;
    padding: 0;
}

#category_table tr {
}

#category_table td {
    width: 145px;
    padding: 0 75px 0 0;
    vertical-align: top;
}

#category_table td.spacer {
    padding-bottom: 34px;
}

#category_table h1 {
    /* height: 15px; */
    width: 141px;
    font-size: 1.3em;
    background-color: #d6e8f1;
    padding: 4px 2px;
    margin: 0px;
    color: #004950;
}

#category_table td.last {
    padding-right: 0;
}

.category_image {
    width: 145px;
    padding-bottom: 3px;
}

/* Everything that's supposed to have a line below */
.bottom_border {
    padding-bottom: 5px;
    border-bottom: 1px solid #abc9d3;
    background-color: #0000ff;
}

/* Caption for images, ie. div below img tag */
.img_caption {
    font-size: 0.75em;
}

/*
 * Individual content styles for home page
 */
.home_section {
    margin: 0px 0 17px 0px;
    clear: both;
}

.home_left {
    float:left;
}

.home_teaser {
    float: right;
    width: 145px;
    margin: 0 0 0 75px;
}

.home_teaser img {
    width: 145px;
}

.home_title {
    font-weight: bold;
    font-size: 1.2em;
    width: 100%;
    padding-top: 10px;
    padding-bottom: 5px;
    margin: 0 0 10px 0;
    border-bottom: 1px solid #abc9d3;
}

.home_subtitle {
    float: left;
}

.home_content {
    margin: 0 0 8px 220px;
    width: 365px;
}


#home_table {
/* Specify font again for compatibility with IE6, otherwise letters too big. */
font-size: 1.0em;

    width: 585px;
    margin: 0;
    padding: 0;
}

#home_table tr {
}

#home_table td.theme {
    vertical-align: top;
    width: 212px;
}

#home_table td.detail {
    vertical-align: top;
}

/*
 * Links
 */
a:link {
	color: #DC3200;
	text-decoration: none;
}

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



a:hover, a:focus {
	color: #DC3200;
	text-decoration: underline;
}

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

/*
 * Content style for pages other than home
 */
.section {
    margin:  0 0 10px 0;
    clear: both;
}


.section_title {
    float: left;
    font-size: 1.2em;
    margin: 0.5em 0 0 0;
    
    /*width: 180px;*/
    /*
	*Width changed by Isabella for longer section titles
	*/
    width: 500px;
    /*color: #00605E; Old Version */
}

.subsection {
    border-top: 1px solid #abc9d3;
    clear: left;
    padding: 0.5em 0;
}

.subsection_teaser {
    float: left;
    clear: left;
    padding: 0 75px 0 0;
    width: 145px;
}


.subsection_rightImgOtherWidth {
    /*
	*Margin added by Isabella 
	*/
    margin: 0 0 10px 0;
}


.subsection_citation {
    margin: 0 0 10px 220px;
    
}

.subsection_content {
    font-size: 1.0em;
    line-height: 1.2em;
    margin: 0 0 0 220px;
}

/* No border for image links */
img {
    border:0px
}


/* jvdoc.css */


/* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */



  div.jvBigLeft { float: left;

    width:400px;
    clear: both;
    }

  div.jvSmallRight { float: right;
    width: 300px;
    margin-right: 10px;
    }

  div.jvSmallLeft { float: left;
    width: 300px;
    clear: both;
    }

  div.jvBigRight { float: right;
    width: 400px;
    margin-right: 10px;
    }

  div.jvOneColumn { clear: both;
    width: 100%;
    }

 
   .jv-table { padding: 2px;
    width: 95%;
    text-align: center;
    }

  .jv-generator { padding: 2px;
    width: 95%;
    text-align: left;
    }

  pre { color: rgb(0, 0, 0);
    font-size: 10pt;
    font-weight: bold;
    }

  span.mathCmd { font-family: Courier New;
    color: rgb(0, 0, 0);
    font-size: 10pt;
    font-weight: bold;
    }

  span.mathCou { font-family: Courier New;
    color: rgb(0, 0, 0);
    font-size: 10pt;
    }

  span.mathIn { font-family: Courier New;
    color: rgb(0, 0, 0);
    font-size: 10pt;
    font-style: italic;
    }






/* new by max - start */

#javaview_normal {
	color:#00605E;
	font-weight: bold;
	font-size: 1.25em;
	font-style: italic;
}

#javaview_small {
	color:#00605E;
	font-weight: bold;
/*	font-size: 1.1em; */
	font-style: italic;
}

td.demos_table_left {
	width: 25%;
	valign: top;
}

td.demos_table_right {
	width: 75%;
	valign: top;
	/*border:5px solid #000000;*/
}

table.demos_table_base {
	cellspacing: 0px;
	/*border: 3px solid #000000;*/

	width: 90%;
}

td.applications_table_left {
	width: 40%;
	valign: top;
}

td.applications_table_right {
	width: 60%;
	valign: top;
	/*border:5px solid #000000;*/
}

table.applications_table_base {
	cellspacing: 0px;
	/*border: 3px solid #000000;*/

	width: 100%;
}

a#headerLink {
	/*color: #DC3200;*/
	color: #ffffff;
	text-decoration: none;
	font-size:large;
	margin-left:25px;
	position:relative}

a#headerLink:hover {
	color: #933200;
	text-decoration: none;
}



a#demosLinkListOne {
	margin: 5px 5px 5px 0px;
/*border: 2px solid #b5143e;*/color: #DC3200;
	text-decoration: none;
}

a#demosLinkListOne:hover {
	margin: 5px 5px 5px 0px;
	/*border: 2px solid #b5143e;*/
	color:#FFFFFF;
	background-color: #b5143e;
	text-decoration:none;
}

a#demosLinkListOne:active {
	margin: 5px 5px 5px 0px;
	/*border: 2px solid #000000;*/
	color:#FFFFFF;
	background-color: #b5143e;
	text-decoration:none;
}

a#demosLinkListTwo {
	margin: 5px 5px 5px 0px;
	/*border: 2px solid #00605E;*/
	color:#00605E;
	text-decoration:none;
}

a#demosLinkListTwo:hover {
	margin: 5px 5px 5px 0px;
	/*border: 2px solid #00605E;*/
	color:#FFFFFF;
	background-color: #00605E;
	text-decoration:none;
}

a#demosLinkListTwo:active {
	margin: 5px 5px 5px 0px;
	/*border: 2px solid #000000;*/
	color:#FFFFFF;
	background-color: #00605E;
	text-decoration:none;
}

a#unusedLink {
	color: #DC3200;
	text-decoration: none;
}

.demos_Frames {
	border: 0px;
	/*margin: 3px 3px 3px 3px;*/
	scrolling: no;
	width:800px;
/*	height:150px;*/
}

.services_Frames {
	border: 0px;
	/*margin: 3px 3px 3px 3px;*/
	scrolling: no;
	width:800px;
	height:50px;
}

.header_Frames {
	border: 0;
	/*margin: 3px 3px 3px 3px;*/
	scrolling: no;
	width:1000px;
	/*height:120px;*/
	height:180px;
	border-style: none
	

}

.mathematica_Frames {
	border: 0px;
	/*margin: 3px 3px 3px 3px;*/
	scrolling: no;
	width:850px;
	height:50px;
}

.games_Frames {
	border: 0px;
	/*margin: 3px 3px 3px 3px;*/
	scrolling: no;
	width:800px;
	height:50px;
}

.CR_Frames {
	/*margin: 3px 3px 3px 3px;*/
	scrolling: no;
	width:800px;
	height:100px;


}



#main_content_table {
	border:0;
	width:100%;
	height:90%;
}

.jv-menuItem {
	border: 1px solid #000000;
	font-weight: bold;
	padding: 0px 3px 0px 3px;
	font-size: 0.9em;

}

.jv-shortcut {
	border: 1px solid #000000;
	font-weight: bold;
	padding: 0px 3px 0px 3px;
	font-size: 0.9em;
	color: #ffffff;
	background-color: #b5143e;
}

.jv-menu {
	padding: 0px 3px 0px 3px;
	background-color: #00605e;
	color: #ffffff;
}

.docs-menu-pics {

	width: 300px; 
	height: 240px;
	align: right;
	vspace: 5px;
	hspace: 10px;
}

#appletparagraph {
}	

/* new by max - stop */