pre {
 padding: 0.5em;
 margin: 0 1em 0.2em 0;
 background-color: #efeff5;
 white-space: pre;
}

#head {
 display: none;
}

#headsep {
 display: none;
}

#nav {
 display: none;
}

#navright {
 display: none;
}

.animation {
 display: none;
}