/*
Navigation bar:
	div_views: contains list of all views and possible toggling options
	div_modules: contains list of TTCN3 modules
	div_index: contains list of TTCN3 elements
	
p_header: contains path navigation

div_content: contains page content
	div_element: contains source code of element in Main View
	div_comment: contains information from T3D comments
	div_statistics: contains statistics in index.html
	div_import: contains import table in Import View
	div_mp: contains tables in ModuleParameter/Testcase View
*/
@media screen{
body{
	background:#FFFFFF;
	font-family: Arial, Helvetica;
	color:#000000;
	margin:0;
	border:0;
	padding:0;
	height:100%; 
	max-height:100%;
	overflow: auto; 
}

#div_modules, #div_index, #div_content{
	overflow:auto;
}

#div_views, #div_index, #div_modules{
	background-color:#F3F3E7 !important;
	padding-left:10px;
	font-size:12px;
}

#div_element, #div_comment, #div_import, #div_mp, #div_statistics{
	font-size:12px;
}

#div_content{
  border:1px solid #000000;
  background-color:#FFFFFF;
  position:fixed; 
  top:60px;
  left:25%;
  right:1%;
  bottom:40px; 
  overflow:auto;
  padding:2px;
}


#div_import, #div_mp, #div_statistics, #div_comment, #div_element, #div_statistics{
	border-top:1px solid #000000;
	border-bottom:1px solid #000000;
}

#div_import, #div_mp, #div_statistics{
  background-color:#F3F3E7 !important;
}

#div_views{
  border:1px solid #000000;
  position:fixed; 
  top:10px;
  left:1%;
  bottom:40px;
  width:22%; 
  overflow:auto; 

}

#div_modules{
  border:1px solid #000000;
  position:fixed; 
  top:100px;
  left:1%;
  bottom:60%; 
  width:22%; 
  overflow:auto; 
}

#div_index{
  border:1px solid #000000;
  position:fixed; 
  top:40%;
  left:1%;
  bottom:40px;
  width:22%; 
  overflow:auto;
}

#div_comment, #div_element, #div_statistics{
	background-color:#F3F3E7;
	padding:15px;
	padding-top:0px;
	padding-bottom:0px;
	margin-bottom:20px;
}

#p_header a {
	color:#AAA;
}

#p_header a:hover {
	color:#FFF;
}

#p_t3dversion{
	right:1%;
	position:absolute;
	bottom:1px;
	text-align:right;
	font-size:10px;
}

#path{
	font-size:10px;
}

#p_header{
  border:1px solid #000000;
  font-size:15px;
  position:absolute; 
  top:10px; 
  left:25%; 
  right:1%; 
  height:30px; 
  overflow:hidden;
  margin:0px;
  padding:10px;
  background:#53829d;
  color:#FFFFFF;
}
}
/* Not YET Used */
#header {
  position:absolute; 
  top:0; 
  left:0; 
  width:100%;
  height:120px;
  overflow:auto;
  background:#53829d;
  color:#fff;
  }

/* Not YET Used */
#footer {
  position:absolute;
  bottom:0;
  left:0;
  width:100%;
  height:50px;
  overflow:auto;
  text-align:right;
  background:#73a2bd;
}

.td_commenttype{
	vertical-align:top;
}

table
{
	border-collapse:collapse;
}

table, td, th
{
	border:1px solid black;
}

#table_statistics{
	margin-top:20px;
	margin-left: auto;
	margin-right: auto;
}

.import_grey a{
	color:#777777 !important;
}

.td_table_statistics_left{
	text-align:right;
	padding-right:5px;
}

.td_table_statistics_mid{
	text-align:center;
	padding-right:5px;
}

.td_table_statistics_right{
	text-align:left;
	padding-left:5px;
}

#div_statistics th{
	width:30%;
	border-bottom:none !important;
}

#div_statistics td{
	text-align:center;
}

.td_table_statistics_modules{
	text-align:left !important;
}

#div_element{
	font-family:monospace;
}

a:link, a:active, a:hover, a:visited{
	color:#333377;
	text-decoration:none;
}

#div_element a{
	color:blue;
}

#div_element a:hover{
	color:red;
	text-decoration:underline;
}

#table_import td{
	vertical-align:top;
	width:33%;
	padding-left:10px;
}

#table_import{
	width:100%;
}




#table_import_modules{
  border-left:1px solid #000000;
  border-right:1px solid #000000;
}

.div_group_behaviour{
	padding-left:50px;
}

.comment_line{
	padding-right:50px;
}

.span_tagtype, .span_tagtypeOrig{
	font-weight:bold;
}

.bold{
	font-weight:bold;
}

#head_name{
	color:#0000FF;
	font-weight:bold;
}

.comment{
	background-color:#DDDDDD;
	padding:5px;
}

.elementName{
	background-color:#BBBBFF;
	padding-left:5px;
}
/*
importedby, importedby_ind, selected, imports, imports: determine colors of modules in Import View
*/
.importedby{
	color:#f86503 !important;
}

.importedby_ind{
	color:#FF0000 !important;
}

.selected{
	color:#000000 !important;
}

.imports{
	color:#278e57 !important;
}

.imports_ind{
	color:#00FF00 !important;
}


/* spans (toggle) notes */
.span_showhidenote{
	font-size: 5pt;
	bottom: 0.5em;
}

.padding_left_10px{
	padding-left:10px;
	border:none !important;
}

.padding_left_10px tr td{
	border:none !important;
}


.padding_left_20px{
	padding-left:20px;
}
/* contains source code */
pre {
	white-space: pre-wrap;
}
/*spans highlighted TTCN3 keywords*/
.syntax{
	font-weight:bold !important;
}

@media print{

body{
	background:#FFFFFF;
	font-family: Arial, Helvetica;
	color:#000000;
	margin:0;
	border:0;
	padding:0;
	height:100%; 
	max-height:100%;
}

div{
  margin-left:6px !important;
}
#div_views, #div_index, #div_modules {
	display:none !important;
}

#div_comment{
	border-bottom:1px solid #000000;
}

p, pre, span, a, div{
	color:#000000 !important;background-color:#FFFFFF !important;font-size:12px !important;
}
#div_content, #p_header{
	left:0px !important; width:615px !important; border:none !important; height:auto !important;
}

#div_element pre{
	border:0.5px dotted black !important;
}


#p_t3dversion{
	text-align:right;
	font-size:10px;
}

}