body { background: #f5f5ea; color: #000000; margin: 0; padding: 20px; }
#swithers { float: right; margin: 0 0 1em 1em; }
#swithers a, #swithers b { display: block; margin: 0 0.5em 0 0; padding: 0 0.2em 0.2em 0.2em; font-weight: normal; white-space: nowrap; }
#swithers a:link, #swithers a:visited { padding: 0; margin: 0 0.7em 0.2em 0.2em; color: #000000; text-decoration: none; border-bottom: 1px dashed #000000; }
a:hover { color: #cc0000 ! important; border-bottom-color: #cc0000 ! important; }
#swithers b { background: #ffffff; }
h1 { margin-top: 0px; font-size: 1.4em; }
code { white-space: nowrap; }
.example { background-color: #ffcccc; margin-top: 1.2em; margin-bottom: 1.2em; }
.example .example { background-color: #ccffcc; margin-top: 0.6em; margin-bottom: 0.6em; }