html, body { font-size: 115%; }

.coverage table { margin: 2em 0 2em 0; border: 0; border-collapse: collapse; text-align: left; }
.coverage table.list { border-top: 3px solid black; border-bottom: 3px solid black; }
.coverage table.list thead { border-bottom: 1px solid #333; }
.coverage table.key { border: 1px solid #333; margin: 0; }
.coverage td { padding: 15px; }
.coverage tr.ana { border-top: 1px solid #ccc; }
.coverage tr.ana td { padding-bottom: 1em; padding-top: 1em; }
.coverage a { color: #339; }
.coverage button { margin: 1em; }
.coverage button { border: none; margin: 0 1em 1em 0; border-radius: 1ex; color: #333; background: #ddf; padding: 1ex; }
.coverage button:hover { background: #cce; }
.coverage button:active { color: white; }
.coverage #tabs { border: 0; }
.coverage .rivet td { background: #cfc; }
.coverage .hot td { background: #fbb; }
.coverage .default td { background: #fee; }
.coverage .grey td { color: #666; background: #ddd; font-size: normal; display: none; }
.coverage .grey td a { color: #669; }
.coverage .black td { color: #eee; background: #333; display: none; }
.coverage .black td a { color: #99c; }
.coverage .hot.assigned { background: repeating-linear-gradient(135deg, #fbb, #fbb 10px, #bd7 10px, #bd7 20px); }
.coverage .default.assigned { background: repeating-linear-gradient(135deg, #fee, #fee 10px, #de9 10px, #de9 20px); }
.coverage .grey.assigned { background: repeating-linear-gradient(135deg, #ddd, #ddd 10px, #dfd 10px, #dfd 20px); }

:root[color-theme="dark"] {
    .coverage table.list td { color: black; }
    .coverage table.list thead { background: #aaa; border-bottom: 2px solid #111; }
    .coverage table.list { border-top: 3px solid #ccc; border-bottom: 3px solid #ccc; }

}