/* Fast bit counting */
.algorithm_name {
    border-top:solid 1px black;
    border-bottom:solid 1px black;
    padding-top:.4em;
    padding-bottom:.3em;
    margin: 10px 0px 10px 0px;
    color:black;
    background-color:#f9fffb;
    font-weight:bold;
    text-align:center;
}