/* JenaRulesWeb  css */


/********* Body and Links ******/
body {
  margin:0;
  padding:0;
  font-family:Verdana, Arial, Helvetica, sans-serif;
  font-size:76%;
  background:#f4f4f4;
  color:#404040;
}

a {
  text-decoration:none;
  font-weight:bold;
  color:#286ea0;
  background-color:inherit;
}

a:hover {
  text-decoration:underline;
  color:#286ea0;
  background-color:inherit;
}

a img {
  border:0;
}

#banner {
    padding: 0;
    height: 50px;
    margin-bottom: 0;
    border: 0;
}

#banner h1 { 
    height: 50px;
    vertical-align: middle;
    font-size: 1.5em;
    display: inline;
    color: #053188;
    font-family: "Bitstream Vera Sans", Helvetica, Arial, sans-serif;
    font-size-adjust: .53;
    font-weight: bold;
    font-style: normal;
    text-decoration: none;
}

/*********** forms elements **********/
.text_input {
	font-size:12px;
	height:12px;
	margin-left:5px;
	vertical-align:middle;
}

.button_input {
	font-size:14px;
	margin: 10px 10px 0px 0px;
	vertical-align:middle;
}

.checkbox_input {
  vertical-align:middle;
}

/********** div elements *********/

#contentDiv {
  margin:0px;
  padding:0px;
}

#settingsDiv {
	margin:10px;
	margin-left:0.8%;
	padding:5px;
	vertical-align:middle;
	text-align:center;
	border:thin solid #999999;
	width:25em;
	height:2em;
	clear:both;
	float:left;
}

#examplesDiv {
	margin:10px;
	margin-left:0.8%;
	padding:5px;
	vertical-align:middle;
	text-align:center;
	border:thin solid #999999;
	width:12em;
	height:2em;
	visibility:hidden;
	float:left;
}

#otherDiv {
 	margin:10px;
	margin-left:0.8%;
	text-align:center;
	padding:5px;
	border:thin solid #999999;
	width:17em;
	height:2em;
	float:left;
}

#documentationDiv {
  margin:10px;
	margin-left:0.8%;
	text-align:center;
	padding:5px;
	border:thin solid #999999;
	width:8em;
	height:2em;
	float:left;
}

#leftZoneDiv {
  margin:0px 0px 10px 0.8%;
  width:49%;
  clear:both;
  float:left;
}

#rightZoneDiv {
  margin:0px 0px 10px 0.8%;
  width:49%;
  float:left;
}

#factsDiv {
	margin:10px;
	margin-left:0px;
	padding:5px;
	border:thin solid #999999;
	height:17em;
	clear:both;
}

#rulesDiv {
	margin:10px;
	margin-left:0px;
	padding:5px;
	border:thin solid #999999;
	height:17em;
	clear:both;
}

#goalsDiv {
	margin:10px;
	margin-left:0px;
	padding:5px;
	border:thin solid #999999;
	height:12em;
	clear:both;
}

#resultDiv {
	margin:10px;
	margin-left:0px;
	padding:5px;
	border:thin solid #999999;
	height:22em;
	clear:both;
}

#resultDivContent {
  margin-bottom:10px;
  height:18em;
  padding:5px;
  border:thin solid #999999;
  overflow:auto;
}

#copyrightsDiv {
	margin:10px;
	padding:5px;
	clear:both;
}


/*** textarea's ***/
.textarea_style {
	padding:0px;
	margin:0px;
	margin-bottom:10px;
	font-size:12px;
	width:99.2%;
}

.zoneTitle {
	font-size:13px;
	font-weight:bold;
}