body       { text-align: center; }

div.title1 { font-size: 250% }
div.title2 { font-size: 200% }
div.code   { background-color: lightblue; padding: 1em; font-size: 9pt; }
p          { text-align: justify; }
p.footer   { text-align: right; background-color: lightblue; padding: 0.5em; }

div.fullWidthBox { width: 7.5in; margin-left: auto; margin-right: auto; text-align: justify; }
.cmd   { background: #cfcfcf; padding: 0.5em;  font-family: monospace; }