/** tutorials/miscellaneous/encodings.html **/

table.fullBorder {
   border-collapse: separate;
   background-color: var(--background-color);
   text-align: center;
}

table.fullBorder tr.fullBorder td {
   border: 1px solid var(--light1-border-color);
}

table.fullBorder tr.fullBorder td.none {
   border: none;
}

table.groupedBorder {
   border-collapse: collapse;
   background-color: var(--background-color);
   text-align: center;
}

table.groupedBorder tr.groupedBorder td {
   border-top: 1px solid var(--light1-border-color);
   border-bottom: 1px solid var(--light1-border-color);
   padding: 0 3px;
}

table.groupedBorder tr.groupedBorder td.first {
   border-left: 1px solid var(--light1-border-color);
   padding: 0 3px 0 2px;
}

table.groupedBorder tr.groupedBorder td.last {
   border-right: 1px solid var(--light1-border-color);
   padding: 0 2px 0 3px;
}

table.groupedBorder tr.groupedBorder td.none {
   border: none;
}