@font-face {
  font-family: 'Ubuntu';
  src:  url('/fonts/Ubuntu-Regular.ttf') format('ttf')
}

.cube-image {
}

.algorithms {
    text-align: center;
    font: 18px sans-serif;
    padding: 20px;
    white-space: nowrap;
    line-height: 1.2;
}

.algorithms, .alg-inline {
    font-family: 'Ubuntu', sans-serif;
}

.algorithms sub, .alg-inline sub {
    font-family: 'Ubuntu', sans-serif;
    line-height: 0;
}

.algorithms p {
    /*display: inline-block;*/
    margin: 0;
}

/*.algorithms div {
    padding-top: 20px;
}*/

.alg-link {
    font-size: 80%;
}

.auf, .hide {
    color: #909090;
}

.special-alg, .algorithms.special-alg, .special-alg .algorithms {
    color: #c00000;
}

.algorithms.special-alg .auf, .special-alg .algorithms .auf {
    color: #ff9292;
}

.case-image {
    text-align: center;
}

.case-image p {
    font-style: italic;
    margin: 0px;
}

.case-name {
    font-style: italic;
}


th, td {
    border: 1px solid black;
    padding: 5px;
}

td.hidden-cell {
    border: 0px;
}

table {
    display: inline-table;
    border-collapse: collapse;
}

th {
    font-weight: bold;
}

table.colgroup-2 > * > tr > :nth-child(2n+3), table.colgroup-3 > * > tr > :nth-child(3n+4) {
    border-left-style: double;
    border-left-width: 4px;
}

.double-line-below {
    border-bottom-style: double;
    border-bottom-width: 4px;
}

.centered > * > tr > *, .centered-1 > * > tr > :first-child {
    text-align: center;
}