abody { max-width: 800px; }
div.red { background: white; color: red; font-weight: bold; font-family: monospace, courier; padding: 5px; margin-top: 0; margin-bottom: 4px; margin-left: 10px; border: 2px solid red; }
.red { background: white; color: red; font-weight: bold; font-family: monospace, courier;  }
div.code { background: black; color: white; font-family: monospace, courier; padding: 5px; margin-top: 0; margin-bottom: 4px; }
div.or { background-color: #444; }
div.code { margin-left: 10px; }
.wa li span { font-weight: bold; }
a img { border: 1px solid #ddd; }
a:hover img { border: 1px solid #c8c8c8; }

div.example { background-color: #ffffd0; color: inherit; border: 1px solid #dd0; padding: 4px; }