
html {
	font-size: 1rem /* Necessary to overwrite setting in MantisBT. */;
}

body {
	background-color: #F0F0F0;
	background-image: url(http://bioinfweb.info/Background.jpg);
	background-repeat: repeat;
	background-attachment: fixed;
	background-position: 0px 0px;
	font-size: 1rem /*14px*/;
	line-height: 1.23;  /* Required to prevent MantisBT to overwrite this */
	margin: 10px; /* Necessary to overwrite setting in MantisBT. */
}

div.clearer {
	clear: both;
	line-height: 0;
	height: 0px;
}

h1, h2, h3, h4, h5, h6, p, div {
	color: black;
	font-family: Arial,sans-serif; 
}

h1, h2, h3, h4, h5, h6 {
	background: none;
	text-align: left;
	font-weight: normal;
	padding: 0px; 
	margin-left: 0px; 
	margin-right: 0px; 
	margin-top: 0.8em; 
	margin-bottom: 0.5em; 
	border-left-width: 0px;
	border-right-width: 0px;
	border-top-width: 0px;
	border-bottom-width: 1px;
	border-color: #808080;
	border-style: solid;
}

h1 { 
	margin-top: 0.2em; 
	font-size: 188%; 
}

h2 { 
	font-size: 150%; 
}

h3, h4, h5, h6 {
	font-weight: bold;
	border-bottom: none;
}

h3 { 
	font-size: 132%; 
}

h4 { 
	font-size: 116%; 
}

h5 { 
	font-size: 100%; 
}

h6 { 
	font-size: 80%;  
}

p {
	margin-top: 0; /* Otherwise columns are shifted to each other */ 
	margin-bottom: 0.8em; 
	text-align: justify;
	
}

.main-box .column-block {  /* Wrappers to display text sections in columns use this class. Respective tags are optionally inserted using JS. */
	
	-webkit-columns: auto 25em;
	columns:         auto 25em;
	-webkit-column-gap: 2em;
	column-gap:         2em;
	margin-bottom: 0.8em;  /* Necessary since margin-bottom of terminal p elements to not apply their margin if they are not in the terminal column. */ 
}

a {
  color: #3465A4;
  text-decoration: none;
}

a:visited {
  color: #8080FF;
}

a:hover {
  text-decoration: underline; 
}

table.default, tr.default, th.default, td.default {
  border-width: 1px;
  border-color: #808080;
  border-style: solid;
}

table.default {
  width: 100%;
  border-collapse: collapse;
}

td.default, table.default td {
  padding: 5px;
  margin: 0px;
}

th.default table.default th {
  padding: 5px;
  margin: 0px;
  font-weight: bold; 
}

tr.default table.default tr {
  padding: 5px;
  margin: 0px;
}

.biw-table, .even-row, .odd-row, table.biw-table tr, table.biw-table th, table.biw-table td {
  border-width: 1px;
  border-color: #808080;
  border-style: solid;
  border-collapse: collapse;
  padding: 5px;
  margin: 0px;
}

table.biw-table {
  width: 100%;
  margin-bottom: 0.5em;
}

th.biw-table, table.biw-table th {
  background-color: #FFE495;
  font-weight: bold;
  text-align: left; 
}

.even-row, table.biw-table tr {
  background-color: #FFF5CA;
}

.odd-row, table.biw-table tr:nth-child(odd) {
  background-color: #F9F9F9;
}

code, pre {
  font-family: "Courier new", Courier, monospace; 
  color: #505050;
}

pre.code-example {
  color: #303030;
  overflow: scroll;
}

hr {
  height: 1px;
  color: #808080;
  background-color: #808080;
  border: 0;
  margin: .1em 0 .1em 0;
}

.logo-menu-button-container {
	padding-top: 10px;
	padding-bottom: 10px;
}

.menu-button {
	background-color: #EC3333;
	padding: 0.3em;
	width: 2em;
	height: 2em;
}

.path-navigation-box {
	padding-top: 7px;
	padding-bottom: 7px;
	padding-left: 10px;
	padding-right: 10px;
	color: #000000;
}

.path-navigation-box ol {
	display: inline;
	margin: 0;
	padding: 0;
}

.path-navigation-box li {
    display: inline;
    list-style-type: none;
}

.path-navigation-box li:not(:first-child)::before {
    content: "/ ";
}


.path-navigation-box a {
  color: #3465A4;
}

.column-button-box {
	display: none;  /* This is overwritten for wide viewports below. */
}

.content-box, span.views, span.views-new, span.views-selected, 
/* JavaDoc elements: */ .indexContainer, .contentContainer, .sourceContainer, 
.classUseContainer, .serializedFormContainer, .constantValuesContainer, .header, 
.bar, .indexHeader {
  border-color: #808080;
  border-style: solid;
  background-color: #FFFFFF;
  
	  background-image: url(http://bioinfweb.info/BoxBackground.jpg);
	  background-repeat: repeat;
	  background-attachment: fixed;
	  background-position: 0px 0px;
  
}

.content-box, 
/* JavaDoc elements: */ .indexContainer, .contentContainer, .sourceContainer, 
.classUseContainer, .serializedFormContainer, .constantValuesContainer, .header, 
.bar, .indexHeader {
  border-width: 1px;
  border-radius: 5px;
  margin-top: 10px;
  margin-bottom: 10px;
  padding-left: 10px;
  padding-right: 10px;
}

span.views, span.views-new, span.views-selected {
  border-top-width: 1px;
  border-bottom-width: 0px;
  border-left-width: 1px;
  border-right-width: 1px;
  margin-top: 0px; 
  margin-bottom: 0px; 
  margin-left: 0.1em;
  margin-right: 0.1em; 
  padding-top: 0.05em;
  padding-bottom: 0.05em;
  padding-left: 0.4em;
  padding-right: 0.4em;
}
  
span.views, span.views-new {
  position: relative; 
  top: -1px;
}
  
.main-navigation {
	padding-left: 0.3em;
}

.main-navigation ul {
	padding: 0;
	margin: 0;
	list-style-image: none;  /* Necessary to overwrite MediaWiki global setting. */ 
	-webkit-columns: auto 10em;
	columns: auto 10em;
}

.main-navigation li {
	list-style-type: none;
	-webkit-column-break-inside: avoid;
	break-inside: avoid-column;
	break-inside: avoid;
}

@supports (-moz-appearance:none) {
	.main-navigation ul li {  /* Workaround since Firefix does not support "avoid". */
		display: inline-block;
	    width: 100%;
	}
}

.main-navigation li a {
	font-size: 1.1rem; 
	font-weight: bold; 
	color: #FFC000;
	text-decoration: none;
	white-space: nowrap;
}

.main-navigation li::first-letter {
	color: #EC3333;
}

.main-navigation li a:hover {
	text-decoration: underline;
}

.main-navigation ul ul {
	padding-left: 0.8em;
}

.main-navigation li li a {
	font-size: 0.8rem; 
	font-weight: bold; 
	color: #FFC000;
	text-decoration: none;
	white-space: nowrap; 
}

.main-navigation li li::first-letter {
	color: #FFC000;  /* Necessary to overwrite format for parent level */
}

.main-navigation li li a:hover {
			text-decoration: underline;
}
  			
ul.tiny-list {
  margin-top: 0px;
  margin-bottom: 0px;
  /*margin-left: 1.2em;  /* Verkleinert Abstand bei IE, vergrößert ihn bei Mozilla */
}

div.in-content-box-left, div.in-content-box-right, div.in-content-box-justify, div.in-content-box-heading, pre.code-example {
  background-color: #F9F9F9; 
  border-width: 1px; 
  border-style: solid; 
  border-color: #808080; 
  margin-top: 0.2em; 
  margin-bottom: 0.4em; 
  padding: 0.4em;
}

div.in-content-box-left, div.in-content-box-right, div.in-content-box-justify, pre.code-example {
  border-bottom-left-radius: 5px;
  border-bottom-right-radius: 5px;
}

div.in-content-box-left, div.in-content-box-right, pre.code-example {
  border-top-left-radius: 5px;
  border-top-right-radius: 5px;
}

div.in-content-box-left {
  margin-right: 10px; 
}

div.in-content-box-right {
  margin-left: 10px; 
}

div.in-content-box-justify {
  margin-top: 0; 
}

div.in-content-box-heading {
  background-color: #FFE495;
  border-bottom-width: 0;
  border-top-left-radius: 5px;
  border-top-right-radius: 5px;
  font-size: 116%;
  font-weight: bold;
  text-align: center;
  margin-bottom: 0; 
}

.in-content-box-heading h1, .in-content-box-heading h2, .in-content-box-heading h3, .in-content-box-heading h4, 
.in-content-box-heading h5, .in-content-box-heading h6 {
	margin-top: 0;
	margin-bottom: 0;
}

.code-highlight {
  background-color: #FFE495; 
}

.footer-navigation {
	padding:5px;
	text-align: center;
}

.footer-navigation ul {
	padding: 0;
	margin: 0;
}

.footer-navigation li {
	display: inline;
   	list-style-type: none;
   	white-space: nowrap;
}

.footer-navigation li:not(:first-child)::before {
	content: '\00a0\00a0';
}

.inline-image, .footer-navigation li img {
	display: inline;
	height: 1em;
	width: auto;
	position: relative; 
	top: 0.1em;
}

.footer-navigation li a {
	color: #FFC000;
}


/* Adaptive elements: */

@media all and (max-width: 40em) {
	.logo-menu-button-container {
		display: -ms-grid;
		display: grid;
		-ms-grid-columns: 50vw 1fr;
		grid-template-columns: 50vw 1fr;
		grid-column-gap: 0;
		column-gap: 0;
		grid-row-gap: 0;
		row-gap: 0;
	}
	
	.logo-container {
		-ms-grid-row: 1;
		-ms-grid-column: 1;
		grid-row-start: 1;
		grid-row-end: 1;
		grid-column-start: 1;
		grid-column-end: 1;
		
		text-align: left;
		vertical-align: center;
		width: 100%;
		height: auto;
		max-height: 33vw;
		max-width: auto;
	}

	.menu-button-container {
		-ms-grid-row: 1;
		-ms-grid-column: 2;
		grid-row-start: 1;
		grid-row-end: 1;
		grid-column-start: 2;
		grid-column-end: 2;
		
		text-align: right;
		vertical-align: center;
		height: 100%;
		width: auto;
		max-height: 33vw;
		max-width: auto;
	}
	
	#mainMenuContainer {
		display: none;  /* Invisible by default. Can be changed by JavaScript. */
	}
	
	#iconImageVert {
		display: none;
	}
	
	#iconImageHoriz {
		display: block;
	}
}

@media all and (min-width: 40em) {
	body {
		display: -ms-grid;
		display: grid;
		-ms-grid-columns: minmax(min-content, 10rem) 1fr;
		-ms-grid-rows: min-content 1fr;
		grid-template-columns: minmax(min-content, 10rem) 1fr;
		grid-template-rows: min-content 1fr;
		grid-column-gap: 10px;
		grid-row-gap: 0;
		align-items: start;
	}
	
	.left-top-box {
		-ms-grid-row: 1;
		-ms-grid-column: 1;
		grid-row-start: 1;
		grid-column-start: 1;
		margin-top: -10px;
	}
	
	.left-bottom-box {
		-ms-grid-row: 2;
		-ms-grid-column: 1;
		grid-row-start: 2;
		grid-column-start: 1;
		margin-top: -10px;
	}
	
	.main-box {
		-ms-grid-row: 1;
		-ms-grid-row-span: 2;
		-ms-grid-column: 2;
		grid-row-start: 1;
		grid-row-end: span 2;
		grid-column-start: 2;
		margin-top: -10px;
		min-width: 20em; /* The default in box layout is min-width: auto, which prevents the usage of horizontal scroll bars for pre elements. */
	}
	
	.logo-menu-button-container {
		display: block;  /* This is necessary to overwrite the grid setting, if the width is exactly 40 em and both queries apply. */
	}
	
	.menu-button-container {
		display: none;
	}
	
	#mainMenuContainer {
		display: block !important;  /* Overwrite possible JavaScript setting. */
	}
	
	#iconImageVert {
		display: block;
	}
	
	#iconImageHoriz {
		display: none;
	}
}


@media all and (min-width: 70em), all and (min-width: calc(62em + 70px)) {  /* Two rules needed, since currently only Chrome and Firefox desktop support calc() in media queries. */
	.path-navigation-button-box {
		display: -ms-grid;
		display: grid;
		-ms-grid-columns: 1fr 2em;
		grid-template-columns: 1fr 2em;
		grid-column-gap: 0;
	}
	
	.path-navigation-box {
		-ms-grid-row: 1;
		-ms-grid-column: 1;
		grid-row-start: 1;
		grid-column-start: 1;
		padding-left: 0;
	}
	
	.column-button-box {
		display: block;
		-ms-grid-row: 1;
		-ms-grid-column: 2;
		grid-row-start: 1;
		grid-column-start: 2;
		height: 100%;
		padding-top: 3px;
		padding-bottom: 3px;
	}
}


/* Buttons */

.button-list {
    list-style-type: none;
    margin: 0;
    padding: 0;
    text-align: center;
}

.button-list li {
	display: inline;
}

.biw-button-soft, .biw-button, .biw-button-strong, .rg-button, .twitter-button, .github-button {
	display: inline-block;
	white-space: nowrap;
	border-width: 0px;
	border-radius: 0.2em;
	margin-top: 0.2em;
	margin-bottom: 0.2em;
	padding-top: 0.2em;
	padding-bottom: 0.2em;
	padding-right: 0.35em;
	background-position: 0.35em center;
	background-repeat: no-repeat;
	background-size: auto 1em;
}

.biw-button-soft a, .biw-button a, .biw-button-strong a, .rg-button a, .twitter-button a, .github-button a {
	color: #FFFFFF;
}

.biw-button-soft a:hover, .biw-button a:hover, .biw-button-strong a:hover {
	text-decoration: none;
}

.biw-button-soft {
	background-color: #FFE495;
	padding-left: 0.35em;
}

.biw-button {
	background-color: #FFC000;
	padding-left: 0.35em;
}

.biw-button-strong {
	background-color: #EC3333;
	padding-left: 0.35em;
} 

.biw-button-soft:hover, .biw-button-strong:hover {
	background-color: #FFC000;
} 

.biw-button:hover {
	background-color: #EC3333;
} 

.rg-button {
	background-color: #00CCBB;
	background-image: url('http://bioinfweb.info/SharedFiles/SocialMedia/ResearchGateButtonIcon.png');
	padding-left: 1.65em;
}

.twitter-button {
	background-color: #1DA1F2;
	background-image: url('http://bioinfweb.info/SharedFiles/SocialMedia/TwitterButtonIcon.png');
	padding-left: 1.65em;
}

.github-button {
	background-color: #171514;
	background-image: url('http://bioinfweb.info/SharedFiles/SocialMedia/GitHubButtonIcon.png');
	padding-left: 1.8em;
}

.credit-item {
	width: 5rem;
	height: auto;
}




/* Bugzilla style changes: */

#titles {
  background-color: #FFE495;
  border-color: #808080;
  font-size: 116%;
  font-weight: bold;
  border-style: solid;
  border-color: #808080;
  border-top-width: 0px;
  border-left-width: 0px;
  border-bottom-width: 1px;
  border-right-width: 0px;
}

#header {
  border: 1px solid #808080;
  border-radius: 5px;  
  background: #FFFFFF url(http://bioinfweb.info/BoxBackground.jpg) repeat fixed 0px 0px; /* Single properties cannot be used, because they do not overwrite the background attribute used in the Bugzilla CSS. */
}

#header .links {
  border-width: 0px;
}

#bugzilla-body {
  margin-top: 10px;
  margin-bottom: 10px;
}

#footer {
  clear: both;
  margin-top: 1em;
  width: auto;  /* overwrite 100 % */
  border-color: #808080;
  border-style: solid;
  background: #FFFFFF url(http://bioinfweb.info/BoxBackground.jpg) repeat fixed 0px 0px; /* Single properties cannot be used, because they do not overwrite the background attribute used in the Bugzilla CSS. */
  border-width: 1px;
  border-radius: 5px;
  margin-top: 0px; 
  margin-bottom: 10px; 
  padding-left: 10px;
  padding-right: 10px;
}

/* tabs (begin) */

  .tabs td {
    text-align: center;
    border-style: solid;
    border-color: #808080;
    border-width: 1px 1px 1px 1px;
    background-color: #F9F9F9;
  }
      
  .tabs td.selected {
    background-color: #F9F9F9;
    border-width: 1px 1px 0px 1px;
  }

  .tabs td.spacer {
    border-width: 0px 0px 1px 0px;
    background: #FFFFFF url(http://bioinfweb.info/BoxBackground.jpg) repeat fixed 0px 0px; /* Single properties cannot be used, because they do not overwrite the background attribute used in the Bugzilla CSS. */
  }
  
  div.tabbody {
    background-color: #F9F9F9;
    border-width: 0px 1px 1px 1px;
    border-color: #808080;
    border-style: solid;
    margin-top: 0px;
    padding: 5px;
  }
  
  div.tabbed {
    margin-top: 10px;
    margin-bottom: 10px;
  }
  
/* tabs (end) */

#summary_field {
  background-color: #FFE495;
}

tr.admin-table-heading {  /* This class has been added for bioinfweb and is not present in Bugzilla. */
  background-color: #FFE495;
}



/* sventon style changes: */

a.sventonHeaderLink:link, a.sventonHeaderLink:visited, a.sventonHeaderLink:active, a.sventonHeaderLink:hover {
	color: #EC3333; /* #FEAE02; */ 
  border: none;
  font-size: 70%; /* BIW specific property */ 
}

.sventonHeader {
  /*color: #E2E3E6;*/
  font-weight: bold;
  /*background: url( "../images/gradient_background.png" ) right;*/
  background-color: #FFE495;  /* BIW specific property */ 
  /*border: 1px solid black;*/
  width: 100%;
}

.sventonEntriesTable {
  color: #14233D;
  background-color: #FFE495; /* #F9F9F9; /* #AFC4D2; */ 
  border: 1px solid #808080 /* black */; 
  width: 100%;
  border-spacing: 0;
  border-collapse: collapse;
}

.sventonLogEntriesTable {
  color: #14233D;
  background-color: #FFE495; /* #F9F9F9; /* #AFC4D2; */ 
  border: 1px solid #808080 /* black */; 
  width: 100%;
  border-spacing: 0;
  border-collapse: collapse;  
}

.sventonPropertiesTable {
  color: #14233D;
  background-color: #F9F9F9;  /* #E2E4E6; */ 
  border: 1px solid #808080 /* black */;
  font-size: 80%;  /* new */
}

.sventonLatestCommitInfoTable {
  color: #14233D;
  background-color: #F9F9F9;  /* #E2E4E6; */
  border: 1px solid #808080 /* black */;
}

.sventonLatestCommitInfoTableWide {
  width: 100%;
  color: #14233D;
  background-color: #F9F9F9;  /* #E2E4E6; */
  border: 1px solid #808080 /* black */; 
}

.sventonPathDiffTable {
  width: 100%;
  color: #14233D;
  background-color: #F9F9F9;  /* #E2E4E6; */
  border: 1px solid #808080 /* black */; 
}

.codeBlock {
  width: 100%;
  font-family: monospace;
  font-size: 11px;
  padding: 0.5em;
  color: #000000;
  background-color: #F9F9F9;  /* #E2E4E6; */
  border-top: #808080 /* black */ dotted 1px; 
  border-left: #808080 /* black */ dotted 1px; 
  border-right: #808080 /* black */ solid 2px; 
  border-bottom: #808080 /* black */ solid 2px; 
}

.sventonDiffTable {
  padding: 0;
  color: #000000;
  background-color: #F9F9F9;  /* #E2E4E6; */
  border-top: #808080 /* black */ dotted 1px; 
  border-left: #808080 /* black */ dotted 1px; 
  border-right: #808080 /* black */ solid 2px; 
  border-bottom: #808080 /* black */ solid 2px; 
}

.sventonUnifiedDiffTable {
  width: 100%;
  font-family: monospace;
  font-size: 11px;
  white-space: pre;
  padding: 0;
  color: #000000;
  background-color: #F9F9F9;  /* #E2E4E6; */
  border-top: #808080 /* black */ dotted 1px; 
  border-left: #808080 /* black */ dotted 1px; 
  border-right: #808080 /* black */ solid 2px; 
  border-bottom: #808080 /* black */ solid 2px; 
}

.sventonFileEntryTableRow {
  color: #14233D;
  background-color: #F9F9F9;  /* #E2E4E6; */
}

.sventonEntryEven {
  height: 22px;
  /*color: #14233D;*/
  background-color: #F9F9F9; /* #99ADBD; */ 
}

.sventonEntryOdd {
  height: 22px;
  /* color: #14233D; */ 
  background-color: #FFF5CA;  /* #AFC4D2; */ 
}

.sventonEntryLogInfo {
  color: #14233D;
  background-color: #FFE495;  /* #E2E4E6; */
}

.fileHistoryContainer {
  height: 1px;
  float: right;
  position: relative;
  top: 3px;
  left: -4px;
  background-color: #F9F9F9;  /* #E2E4E6; */
}

.entryTrayContainer {
  background-color: #FFE495; /* #3E647E; */ 
  float: right;
  text-align: left;
  border-bottom: 1px solid #808080 /* black */;
  border-left: 1px solid #808080 /* black */;
  border-right: 1px solid #808080 /* black */;
}


/* JavaDoc styles: */

.tab {
    background-color:#EC3333;
    color:#ffffff;
    padding:8px;
    width:5em;
    font-weight:bold;
}

.bar {    
    font-size:13px;
}

.topNav {
    background-color:#FFE495;
    color:#000000;
    float:left;
    padding:0;
    width:100%;
    clear:right;
    height:2.8em;
    padding-top:10px;
    overflow:hidden;
    font-size:12px;
    
    border-top: 1px solid #808080;
    border-left: 1px solid #808080;
    border-right: 1px solid #808080;
    border-top-left-radius: 5px;
    border-top-right-radius: 5px; 
}

.bottomNav {
    background-color:#FFE495;
    color:#000000;
    float:left;
    padding:0;
    width:100%;
    clear:right;
    height:2.8em;
    padding-top:10px;
    overflow:hidden;
    font-size:12px;
    
    border-top: 1px solid #808080;
    border-left: 1px solid #808080;
    border-right: 1px solid #808080;
    border-top-left-radius: 5px;
    border-top-right-radius: 5px; 
}

.subNav {
    background-color:#FFF5CA;
    float:left;
    width:100%;
    overflow:hidden;
    font-size:12px;
    
    border-top: 1px solid #808080;
    border-left: 1px solid #808080;
    border-right: 1px solid #808080;
    border-bottom: 1px solid #808080;
    border-bottom-left-radius: 5px;
    border-bottom-right-radius: 5px;
    
    margin-bottom:10px;
}

.topNav a:link, .topNav a:active, .topNav a:visited, .bottomNav a:link, .bottomNav a:active, .bottomNav a:visited {
    color:#3465A4;
    text-decoration:none;
}

.navBarCell1Rev {
    background-color:#EC3333;
    color:#FFFFFF;
    margin: auto 5px;
    border:1px solid #808080;
}

div.details ul.blockList ul.blockList ul.blockList li.blockList h4, div.details ul.blockList ul.blockList ul.blockListLast li.blockList h4 {
    background-color:#FFE495;
    border:1px solid #808080;
    margin:0 0 6px -8px;
    padding:2px 5px;
}

ul.blockList ul.blockList ul.blockList li.blockList h3 {
    background-color:#FFE495;
    border:1px solid #808080;
    margin:0 0 6px -8px;
    padding:2px 5px;
}

ul.blockList ul.blockList li.blockList, ul.blockList ul.blockListLast li.blockList {
    padding:0px 20px 5px 10px;
    border:1px solid #808080; 
    background-color:#F9F9F9;
}

ul.blockList ul.blockList ul.blockList li.blockList, ul.blockList ul.blockList ul.blockListLast li.blockList {
    padding:0 0 5px 8px;
    background-color:#FFF5CA;
    border:none;
}

.overviewSummary caption span, .memberSummary caption span, .typeSummary caption span,
.useSummary caption span, .constantsSummary caption span, .deprecatedSummary caption span {
    white-space:nowrap;
    padding-top:5px;
    padding-left:12px;
    padding-right:12px;
    padding-bottom:7px;
    display:inline-block;
    float:left;
    background-color:#EC3333;
    border: none;
    height:16px;
}

.memberSummary caption span.activeTableTab span {
    white-space:nowrap;
    padding-top:5px;
    padding-left:12px;
    padding-right:12px;
    margin-right:3px;
    display:inline-block;
    float:left;
    background-color:#EC3333;
    color:#FFFFFF;
    height:16px;
}

.memberSummary caption span.tableTab span {
    white-space:nowrap;
    padding-top:5px;
    padding-left:12px;
    padding-right:12px;
    margin-right:3px;
    display:inline-block;
    float:left;
    background-color:#FFF5CA;
    height:16px;
}

.overviewSummary .tabEnd, .memberSummary .tabEnd, .typeSummary .tabEnd,
.useSummary .tabEnd, .constantsSummary .tabEnd, .deprecatedSummary .tabEnd {
    display:none;
    width:5px;
    position:relative;
    float:left;
    background-color:#EC3333;
}

.memberSummary .activeTableTab .tabEnd {
    display:none;
    width:5px;
    margin-right:3px;
    position:relative; 
    float:left;
    background-color:#EC3333;
}

.memberSummary .tableTab .tabEnd {
    display:none;
    width:5px;
    margin-right:3px;
    position:relative;
    background-color:#FFE495;
    float:left;
}

.tableSubHeadingColor {
    background-color:#FFF5CA;
}

.altColor {
    background-color:#FFF5CA;
}

.rowColor {
    background-color:#F9F9F9;
}

th.colFirst, th.colLast, th.colOne, .constantsSummary th {
    background:#FFE495;
    text-align:left;
    padding:8px 3px 3px 7px;
}


/* MediaWiki styles */

.portlet a {
	font-size: 12px; 
  font-weight: bold; 
  color: #FFC000;
  text-decoration: none; 
}

.portlet a:hover {
  text-decoration: underline; 
}

#p-cactions li.selected a {
	z-index: 3;
  background-color: #FFFFFF;
  
	  background-image: url(http://bioinfweb.info/BoxBackground.jpg);
	  background-repeat: repeat;
	  background-attachment: fixed;
	  background-position: 0px 0px;
  
}

/* MantisBT style overwrites */

.navbar-fixed-bottom, .navbar-fixed-top {
  position: static;  /* Avoid bar to be always at the top. */
}

.navbar-fixed-top + .main-container {
  padding-top: 0;
}

.sidebar.sidebar-fixed::before {
  height: auto;
}

.skin-3 .main-container::before {
  background-color: transparent !important;
}

.footer {
  width: auto;
  height: 80px;  /* The content does not fit if set to auto. Cannot figure out why. */
  padding-top: 0;
}

.footer .footer-inner .footer-content {
  position: static;
}

.footer .footer-inner {  /* This declaration is necessary in addition to the previous one to fully overwrite the positioning. */
  position: static;
}

.btn-scroll-up.display {
  visibility: hidden;
}

.sidebar.sidebar-fixed {  /* Keep sidebar from scolling with the content. */
  position: static;
  float: left !important;
}

.skin-3 {
  background-color: #F0F0F0;  /* Otherwise the body backgroud color would be overwritten. */
}

.widget-color-blue2 > .widget-header {
  background: #FFE495;
  border-color: #FFE495;
}

.widget-color-blue2 {
  border-color: #FFE495;
}

.skin-3 .breadcrumbs {
  background-color: #FFF5CA;
}

.table-striped > tbody > tr:nth-of-type(2n+1) {
  background-color: #FFF5CA;
}

.skin-3 .sidebar {  /* Left border of whole sidebar */
  border-color: #EC3333;
}

.skin-3 .nav-list > li.active::before {  /* Left and right borders of active sidebar element */
  background-color: #EC3333 !important;
}


.skin-3 .nav-list > li.active, .skin-3 .nav-list > li.active + li {  /* Top and bottom borders of active sidebar element */
  border-color: #EC3333 !important;
}

.skin-3 .nav-list li.active > a::before {  /* Arrow color of active sidebar element */
  border-color: transparent #EC3333 transparent transparent;
}

.skin-3 .nav-list > li.active.highlight > a, .skin-3 .nav-list > li.active > a {  /* Background and text colors of of active sidebar element */
  background-color: #FFF5CA !important;
  color: #EC3333 !important;
}

.skin-3 .nav-list > li > a {  /* Background and text color for inactive sidebar elements */
  background-color: #F9F9F9;
  color: #FFC000;
}

.skin-3 .nav-list > li:hover > a {  /* Background and text color for inactive sidebar elements (mouse over) */
  background-color: #F9F9F9;
  color: #EC3333;
}

.skin-3 .nav-list > li.open::before, .skin-3 .nav-list > li:hover::before {  /* Border color for inactive sidebar elements (mouse over) */
  background-color: #EC3333 !important;
}

.skin-3 .sidebar-toggle {  /* Sidebar toggle */
  background-color: #FFE495;
  border-color: #F2F2F2;
}

.skin-3 .navbar {  /* Top navigation bar */
  background: #FFC000;
}

.ace-nav > li.grey > a:focus, .ace-nav > li.grey > a:hover, .ace-nav > li.open.grey > a { /* Top navigation bar dropdown buttons (selected) */
  background-color: #FFE495;
}

.ace-nav > li.grey > a { /* Top navigation bar dropdown buttons */
  background-color: #FFC000;
}

.btn-primary, .btn-primary.focus, .btn-primary:focus {  /* Buttons in top navigation bar */
  background-color: #EC3333 !important;
  border-color: #EC3333;
}

.btn-primary.focus:hover, .btn-primary:active:hover, .btn-primary:focus:active, .btn-primary:focus:hover, 
.btn-primary:hover, .open > .btn-primary.dropdown-toggle, .open > .btn-primary.dropdown-toggle.focus, 
.open > .btn-primary.dropdown-toggle:active, .open > .btn-primary.dropdown-toggle:focus, .open > .btn-primary.dropdown-toggle:hover {
    /* Buttons in top navigation bar */

  background-color: #EC3333 !important;
  border-color: #EC3333;
}

.widget-toolbox {  /* Background under history */
  background-color: #FFF5CA;
}

.badge-grey, .badge.badge-grey, .label-grey, .label.label-grey { /* Dates in history */
  background-color: #EC3333;
}

.light-login {  /* Necessary to overwrite settings for login and sign up pages. */
  background-color: #F0F0F0 !important;
  background-image: url(http://bioinfweb.info/Background.jpg) !important;
  background-repeat: repeat !important;
  background-attachment: fixed !important;
  background-position: 0px 0px !important;
}

div.dataProcessingAgreement {  /* Additional class used in extension of sign up page. */
	display: table-row; 
	background-color: #FFF5CA;
	margin-bottom: 10px;
}

/* Style overwrites for JPhylIO event lister: */

.event-box {
  background-color: #FFF5CA; 
}

.subtree-button {
  background-color: #FFE495; 
}