/* Always show vertical scrollbars */
html{
    min-height: 100%;
    padding-bottom: 1px;
}


/* Create consistent cross-browser behaviour */

*{
	margin: 0 0 0 0;
	padding: 0 0 0 0;
	border: 0;
}

/* Create default cross-browser HTML behaviour */

/*html, body, div#contents, div#middle, div#text{
        min-height: 100%;
		height: auto;     
}

*>html, *>body, *>div#contents, *>div#middle, *>div#text {
        height: 100%;
}*/

body{
	font-family: Avenir, "Lucida Grande", Verdana, "Bitstream Vera Sans", Arial, Helvetica, sans-serif;
	font-size: 62.5%; /* 1em is now 10px */
	background: url('bg1.png') repeat;
	background-color: #CDDABD;
	min-height: 100%;
	height: auto;
}

h2{ font-size: 1.4em; }
h3{ font-size: 1.2em; }
h4{ font-size: 1.0em; }
h5{ font-size: 1.0em; }
h6{ font-size: 1.0em; }

p{
	margin: 10px 0 10px 0;
	text-align: justify;
}

h2, h3, h4, h5, h6{
	margin: 10px 0 10px 0;
}

ul, ol{
	text-align: justify;
	padding-left: 10px;
   	margin: 0  0 10px 10px;
}

/* For lists that are above other elements than p */
ul.plain{
	margin-bottom: 0;
}

ul.nobull li{
	list-style-type: none;
}

abbr, acronym, .help {
	border-bottom: 1px dotted #333;
	cursor: help;
}

img.Garp3Logo{
	display: block;
	margin: 10px auto 0 auto;
}

/* POSITIONING */

div#contents{
	margin: 0 auto 0 auto;
	width: 900px;
	text-align: left;
	height: auto;
}

div#header{
	background-color: #415931;
	width: 100%;
	height: 75px;
}

div#menu{
	background-color: #415931;
	height: 1.0em;
	width: 100%;
	padding: 0 0 5px 0;
	font-size: 1.2em;
}

div#location{
	padding: 0 0 0 0;
	background-color: #7B9D52;
	height: 15px;
	width: 100%;
	font-size: 1.1em;
}

div#middle{
	background-color: #CDDABD;
	float: left;
	width: 900px;
	height: auto;
	background: url('middleback.png');
	font-size: 1.1em;
}

div#submenu{
	background-color: #CDDABD;
	height: 1px;
	width: 130px;
	float: left;
}

div#right{
	font-size: 0.8em;
	width: 130px;
	float: right;
	margin: 0;
	padding: 0;
}

div#text{
	background-color: white;
	width: 580px; /* kan tot 610 */
	height: auto;
	float: left;
	padding: 0 30px 0 30px;
}

/* CONTENTS division */

/* HEADER division */

h1#logo{
	font-family: "Bitstream Vera Sans", Helvetica, sans-serif;
	font-weight: lighter;
	font-size: 3.5em;
	padding-left: 130px;
	padding-top: 15px;
	background-color: #415931;
	height: auto;
	color: #CDDABD;
	float: left;
}

/* MENU division */

div#menu ul{
	list-style: none;
	margin: 0 0 0 0;
	padding-left: 130px;
}

div#menu ul li{
	display: inline;
	margin: 0 25px 0 0;
	list-style-type: none;
}

div#menu a{
	color: #CDDABD;
	text-decoration: none;
}

div#menu a:hover{
	color: #415931;
	background-color: #FFFFFF;
}

/* LOCATION division */

div#location span{
	padding-left: 10px;
}

div#location span.loc{
	padding-left: 25px;
}

div#location a{
	color: black;
}

/* FLAGS division */

div#flag{
	float: right;
	margin: 8px 10px 0 0;
	padding: 3px 6px 3px 6px;
	background-color: #415931;
	/*;#718365*/
}

p.flags {
	margin: 0;
	padding: 3px 0 3px 0;
}

div#flag img{
	margin: 0 3px 0 3px;
}

/* MIDDLE division has no layout details*/

/* SUBMENU division */

div#submenu ul li {
	padding: 0px 5px 6px 5px;
	list-style-type: none;
}

div#submenu a{
	color: #415931;
	text-decoration: none;
}

div#submenu ul{
	padding: 10px 0 0 0;
}
	/* Links with anchors should always be visible */
.AnchorList{
    position: fixed;
}

/* TEXT division */

div#text div.hr {
	background: url('hr.png') no-repeat center center;
	color: white; 
	height: 15px;
	width: 580px;
	float: right;
	margin-top: 10px;
	margin-bottom: 10px;
}

	/* List elements zonder bullets */
div#text li.nobull {
	list-style-type: none;
	margin: 10px 0 10px 0;
}

div#text dt{
	font-weight: bold;
}

div#text dd{
	/*display: list-item;
	list-style-type: circle;*/
	margin-left: 30px;
}

div#text a{
	color: black;
}

/* Voor de icons */
div#text td.breed{
 	width: 250px;
}

/* Voor de layout van de tasks */
div#text td.list{
 	width: 110px;
	font-weight: bold;
}

div#text td.list2{
 	width: 80px;
	font-weight: bold;
}

div#text p.screen{
	text-align: center;
}

div#text p.caption{
	padding: 0 50px 0 50px;
}


/* For the about section */
p.about{
	display: block;
	float: left;
	width: 580px;
	height: 81px;
}

span.aboutimg{
	display: block;
	width: 120px;
	height: 80px;
	float: left;
	margin-right: 20px;
}

/* Model Repository CSS */
div#AllIngredients{
    float: left;
    width: 175px;
	
}

div#AllIngredients ul, div#ReducedIngredients ul, div.ValidModels ul{
	text-align: left;
}

div#ReducedIngredients{
    float: left;
    width: 175px;
}
div.ValidModels{
    float: left;
    width: 200px;
}
li.SelectedIngredient{
    color: rgb(200, 0, 0);
}

div#text li.NotInModels{
    color: rgb(200,200,200);
}

div#text li.SelectedIngredient a{
	color: rgb(200, 0, 0);
}

form *{
    border: thin solid black;
}
table{
    width: 100%;
}
fieldset, legend{
    border: 0px;
}
.metadatatype{
    display: block;
    width: 125px;
    float: left;
    font-style: italic;
}
.metadata{
    display: block;
    padding: 1px;
    width: 450px;
    float: left;
    text-align: justify;
}

.name{
    display: block;
    width: 125px;
    float: left;
    font-weight: bold;
}

.tasks{
    display: block;
    padding: 1px;
    width: 450px;
    float: left;
    text-align: justify;
}

.single{
    display: block;
    width: 110px;
    float: left;
    font-weight: normal;
}

.menu{
    display: block;
    width: 125px;
    float: left;
}

/* Definition list for images */
dl.image{ 
	/* padding-top: 20px; */
	display: block;
	text-align: center;
	/* padding-bottom: 10px; */
}
dl.image dt img{
	/* padding-bottom: 5px;*/
}

/* Google search function */
div#searchcontrol{
	padding-top: 20px;
}
.gsc-clear-button{
	border: 0px;
}
.gsc-search-button{
	border: 0px;
}
.gsc-branding, .gsc-branding-user-defined, .gsc-branding-text{
	border: 0px;
}