doc {
 display: block;
 margin-top: 10px; margin-left: 10px;
}

p {
 display: block;
 margin-bottom: 10px;
}

cmdline {
 display: block;
 margin-bottom: 10px;
 white-space: pre; font-family: "Courier New";
}