table.requirements_makefile_variables_table > thead > tr > th,
table.requirements_makefile_rules_table > thead > tr > th {
font-weight: normal;
font-size: 11pt;
font-style: italic;
}
table.requirements_makefile_variables_table > * > tr > td:first-child,
table.requirements_makefile_variables_table > * > tr > td:first-child + td,
table.requirements_makefile_rules_table > * > tr > td:first-child {
font-family: 'Lucida Console', 'Inconsolata', 'Consolas', monospace;
font-size: 10pt;
}
table.requirements_makefile_rules_table > * > tr > td:first-child + td {
font-size: 12pt;
}
.green_for_success {
color:rgb(80,255,80);
}
.red_for_failure {
color:red;
}
.red_for_failure,
.green_for_success {
background-color: black;
}
var.placeholder {
color: black;
}

pre,
code,
.code_block,
.pre,
.div.highlight,
.code { 
	-webkit-touch-callout: none;
	-webkit-user-select: none;
	-khtml-user-select: none;
	-moz-user-select: none;
	-ms-user-select: none;
	user-select:none;
}