div.cutting, pre.cutting {
/* style should not be more than 56 cols wide */
background: #ccddff;
border: dashed 2px silver;
padding: 2em;
}
div.comment {
margin-left: 3em;
margin-right: 3em;
border-left: 2px solid black;
padding-left: 0.5em;
}
div > p { text-indent: 2em }