/*      txt.css v1.1 - 2020-05-01 */

@import "common.css";
@media all { pre { font-size: 10pt; } 
@media print { body { font-size: 60%; } }