html { box-sizing: border-box; }
 *, *:before, *:after { box-sizing: inherit; }

 table { border-collapse: collapse; font-family: sans-serif; font-size: .8rem; clear: both; }
 table td, table th { border: 1px solid black; padding: 3px 5px 3px 5px; overflow: hidden; } 
 table th[scope="col"], table th[scope="row"] { background-color: lightgrey; } 

 table.sortable th:not(.sorttable_sorted):not(.sorttable_sorted_reverse):not(.sorttable_nosort):after { content: " \25B4\25BE"}

 .co-pr {background-color:#7C4;} /* green: seq is done */
 .co-cy {background-color:#9BF;} /* blue: seq ended in cycle */
 .co-me {background-color:#FE0;} /* yellow: seq merges */
 .co-pu {background-color:#D8B1D4;} /* purple: >120 digits <140 digits */
 .co-pi {background-color:#FAA;} /* pink: >140 digits <160 digits */
 .co-op {background-color:#EA0;} /* red: seq is open  >160 digits <180 digits  */
 td .co-me, th .co-me {font-style: italic;} /* yellow: seq merges */ 
 .head {background-color: lightgrey; font-weight: bold;}

/* Buttons */
 #stat-buttons { display: flex; margin-bottom: 1em; }
 button { margin-right: 5px; border-style: solid; border-color: black; color: black; padding: 3px 5px; text-align: center;
          font-weight: bold; font-size: 16px; cursor: pointer; background-color: darkgrey; }
 .button:focus { border: 1px solid red }

 body {background-color: #D0DFDF}

 .table-scroll {
   border: 1px solid black;
   font-family: sans-serif;
   font-size: .8rem;
   width: 100%;
   max-height: 610px;
   overflow: auto;
   text-align: center;
 }
 .table-scroll table { overflow: auto; border-collapse: separate; border-spacing: 0; }
 .table-wrap { position: relative; }
 .table-scroll th { background-color: lightgrey; }
 .table-scroll th, .table-scroll td { padding: 3px 5px 3px 5px; border: 1px solid black; width: 70px; }
 .table-scroll thead th { position: -webkit-sticky; position: sticky; top: 0; }
 .table-scroll thead th:focus { border: 1px solid red }
 .table-scroll tfoot, .table-scroll tfoot th, .table-scroll tfoot td { position: -webkit-sticky; position: sticky; bottom: 0; z-index: 1; }
 thead th:first-child, tfoot th:first-child { z-index: 5; }