/* Supplementary stylesheet for "A Crisis of Identification"
---------------------------------------------------------------- */

.overline { text-decoration: overline; }