/* *** DATESORT_DESCRIPTIONS_HISTORY_PRINT CSS - 5 Apr 2026  14:51:35 - JGKNAUTH */

body {font-size: 10pt; background: white; margin: auto 0; width: 7.5in;}
div#body {padding: 0; border: none;}
h1 {background: white; font-size: 150%; margin: 0 auto .5em; border: none; width: fit-content;}
a#button {display: none;}