margin: 5px;
}
-.bug_table {
+.bug_table, .ajax_bug_table {
background-color: #ffffcc;
margin: 0px;
max-width: 100%;
border: solid 1px #880000;
background-color: #cccc99;
font-size: 10px;
- width: 645px;
+ width: 685px;
height: 20px;
list-style: none inside;
}
.show_timings_column {
background-color: #ffffcc;
margin-top: 2px;
- width: 150px;
+ width: 160px;
height: 14px;
}