html {
background-color: #ff6;
}

body {
margin: 20px;
border: 10px solid #003;
padding: 10px;
font-family: verdana, arial, sans-serif;
background-color: #ffc;
color: #000;
}

div {
text-align: left;
}

pre {
background-color: #fff;
padding-left: 1em;
}

.divNoEdit {
margin: 10px auto;
border: 2px solid #000;
padding: 10px;
background-color: #ccc;
}
.divEdit {
margin: 10px auto;
border: 2px solid #0f0;
padding: 10px;
background-color: #cfc;
}

b { font-weight: bold; }

#switcher {
width: 15em;
float: right;
margin: 0.5em;
border: 1px solid #666;
padding: 1em;
}
#switcher ul {
margin: 0px;
padding: 0.5em 0.5em 0.5em .5em;
}