.current {
    color: #ff0000;
    font-weight: bold;
}



.insertion-sort-show {
    display: inline-block;
}

.insertion-sort-show td {
    text-align: center;
}

.insertion-sort-show td.horizontal-header {
    text-align: left;
    background-color: #aa8822;
}

.insertion-sort-show th {
    background-color: #ffbbbb;
    color: #000000;
    /* font-weight: normal; */
    padding: 8px;
}



.highlight {
    /* border: 1px solid #ff0000; */
    border: 3px solid #ff0000;
}





/*
ol.alpha-and-parenthesis {
    counter-reset: list;
}
ol.alpha-and-parenthesis > li {
    list-style: none;
}
ol.alpha-and-parenthesis > li:before {
    content: counter(list, lower-alpha) ") ";
    counter-increment: list;
}
*/




ol {
    list-style-type: none;
    counter-reset: item;
    margin: 0;
    padding: 0;
}
  
ol > li {
    display: table;
    counter-increment: item;
    /* margin-bottom: 0.6em; */
    margin-bottom: 0.6em;
}
  
ol > li:before {
    content: counters(item, ".") ". ";
    display: table-cell;
    padding-right: 0.6em;    
}
  
li ol > li {
    margin: 0;
}
  
li ol > li:before {
    content: counters(item, ".") " ";
}



ol.number-and-dot {
    counter-reset: list;
}
  
li ol.alpha-and-parenthesis > li {
    /* margin: 0; */
    /* margin-bottom: 0.6em; */
    margin: 0 0 0.6em 0;
}
  
li ol.alpha-and-parenthesis > li:before {
    /* content: counters(item, ".") " "; */
    content: counter(list, lower-alpha) ") ";
    counter-increment: list;
}