body {
    font-size:14px;
    padding-left:15px;
    padding:5px;
    /* font-family:"DejaVu Serif"; */
    background-color:White;
    color:Black;
}
table {
    white-space:nowrap;
}
table.legend {
    border-collapse:collapse;
}
table.legend tr, table.legend td, table.legend th
{
    border:1px solid #777777;
    border-collapse:collapse;
    padding:0.2em;
    padding-left:5px;
    padding-right:5px;
}
table.legend th {
    background:#f2f2f2;
    text-align:left;
}
table.tbl, .probe_id {
    font-family:"DejaVu Sans Mono", "Monaco", monospace;
}
table.tbl {
    border-collapse:collapse;
}
table.tbl tr, table.tbl td, table.tbl th
{
    border:1px solid #777777;
    border-collapse:collapse;
    padding:0.2em;
    padding-left:7px;
    padding-right:7px;
}
table.tbl th {
    background:#f2f2f2;
    text-align:left;
}
h1 {
    margin:0px;
    white-space:nowrap;
}
h2 {
    white-space:nowrap;
    font-size:18px;
    margin-left:2px;
    text-decoration:underline;
}
h2.top {
    font-size:18px;
    margin-top:-30px;
}
span.top {
    margin-top:-60px;
}
.info {
    text-decoration:none;
}
a.status_link, a.mtype_link, a.mvendor_link {
    text-decoration:none;
    color:Black;
}
a.selected {
    background-color:#F5F5F5;
    color:Black;
}
span.mtype {
    background-color:#DDDDDD;
    border:1px solid white;
}
span.mtype_sel {
    background-color:#DDDDDD;
    border:1px solid black;
}
.topcorner {
    position:absolute;
    top:15px;
    right:15px;
}
.found {
    background-color:#FFDDDD;
}
.nav, .nav2 {
    padding:4px;
    padding-top:1px;
    padding-bottom:1px;
}
.nav2 {
    font-size:16px;
}
.sel {
    background-color:#EEEEEE;
}
.ok, .works, .yes {
    background-color:#CCFFCC;
    color:Black;
}
.warn, .approval, .part {
    background-color:#F4F4AF;
    color:Black;
}
.fail, .failed, .no {
    background-color:#FFCCCC;
    color:Black;
}
.malfunction, .malfunc {
    background-color:#FFCC99;
    color:Black;
}
.new, .declared {
    background-color:#C6DEFF;
    color:Black;
}
.detected {
    background-color:#C6DEFF;
    /* background-color:#66CCFF; */
    color:Black;
}
.unkn, .unknown {
    background-color:#555555;
    color:White;
}
.all {
    background-color:White;
    color:Black;
}
.probe_filter {
    background-color:Black;
    color:White;
}
select.platform, .lang {
    font-size:16px;
    padding:3px;
}
select {
    font-size:14px;
    padding-right:5px;
    background-color:White;
}
option.selected {
    background-color:#DDDDDD;
}
input.button_exp {
  padding: 1px 6px;
  -webkit-border-radius: 2px 2px;
  border: solid 1px rgb(153, 153, 153);
  background: -webkit-gradient(linear, 0% 0%, 0% 100%, from(rgb(255, 255, 255)), to(rgb(221, 221, 221)));
  background-color: #EEEEEE;
  cursor: pointer;
  text-align: center;
  font-size:14px;
  margin:2px;
}
.button_exp:hover {
    border: solid 1px #777777;
}
input.button {
    font-size:14px;
    margin-left:3px;
    cursor:pointer;
}
small {
    font-size:12px;
}
hr {
    color:Black;
    background-color:Black;
    height:1px;
    border:0;
    margin:3px;
}
table.narrow, table.host_info {
    white-space:normal;
}
table.narrow td
{
    max-width:185px;
    word-wrap:break-word;
}
table.host_info td {
    max-width:235px;
    word-wrap:break-word;
}
td.comment {
    max-width:200px;
    word-wrap:break-word;
    white-space:normal;
}
td.edit:hover {
  background-color: #EFEFEF;
}
tr.edit:hover {
  background-color: #EFEFEF;
}
td.model {
    max-width:160px;
    word-wrap:break-word;
    white-space:normal;
}
.cmd {
    font-weight:bold;
    font-family:"DejaVu Sans Mono", "Monaco", monospace;
}
.sort {
    cursor:pointer;
}
.error {
    color:Red;
    font-size:18px;
}
.success {
    color:Green;
}
.code {
    font-family:"DejaVu Sans Mono", "Monaco", monospace;
}
table.contents {
    border-collapse:collapse;
    border:1px Black solid;
    margin-left:2px;
}
table.contents td {
    padding:2px;
    padding-right:10px;
}
#image-box {
  height: 450px;
  width: auto;
  position: absolute;
  display: none;
  border: 3px solid white;
}

ol.logs {
    margin-top:0px;
}
ol.logs li {
    font-family:"DejaVu Sans Mono", "Monaco", monospace;
}
/*.log_item {
    position: relative;
    left: -5px;
}*/
.category {
    font-weight:bold;
    font-size:15px;
    font-family:"DejaVu Sans Mono", "Monaco", monospace;
}