/*
These CSS selectors will overrride selectors PmWiki injects into
the HTML header.
*/
.indent { margin-left:30px; }
.outdent { margin-left:30px; text-indent:-30px; }
.diffbox { width:745px; margin-top:10px; }
.diffadd code, .diffdel code { padding-right:1px; white-space:normal; }
.diffrestore, .difftype, .difftime .diffauthor { font-size:8pt; }
.diffrestore { margin-top:2px; }