+#topbanner {
+ width: 100%;
+ height: 100px;
+ margin-top: 20px;
+}
+#bannerinfo {
+ float: right;
+ margin-right: 12%;
+ margin-top: 15px;
+}
#variants_table {
- float: left;
+ clear: both;
width: 90%;
height: 190px;
border: 1px #c6dcf1 solid;
.readinglabel {
font-weight: bold;
}
-.readingroots {
+.readingroots .reversionroots {
font-weight: bold;
color: #488dd2;
}
.coincidental {
background: #fff;
}
+.unsolved {
+ background: lightgrey;
+}
.conflict {
background: #ff6666;
}
+.reversion {
+ background: #ffd700;
+}
.active_variant_row {
background: #c6dcf1;
font-style: italic;
.cellb7 {
border-right: 20px solid #ffd5e5;
}
+
+/* Clearfix hack to make div container height work */
+.clearfix:after {
+ content: ".";
+ display: block;
+ clear: both;
+ visibility: hidden;
+ line-height: 0;
+ height: 0;
+}
+
+.clearfix {
+ display: inline-block;
+}
+
+html[xmlns] .clearfix {
+ display: block;
+}
+
+* html .clearfix {
+ height: 1%;
+}
\ No newline at end of file