body {
 background-color:#666;
 color:#FFF;
}

div.exo:before {
 color:#F77;
}

samp {
 background-color:#CCC;
 color:#400;
}

kbd {
 background-color:#FFF;
 color:#000;
}

blockquote {background-color:#880;}

a {color:#473;}
a:visited {color:#66F;}
a:hover {color:#F80;}

div.solution_crypt {
 background-color:#944};
 color:#BBB;
}

div.solution {
 background-color:#444;
 color:#BBB;
}

div.solution_crypt *,
div.solution * {visibility:visible;}

div.solution:hover {
 background-color:#004;
 color:#FFF;
}

div.solution_crypt:hover {
 background-color:#400;
 color:#FFF;
}

div.exo {
 border-color:#444;
 background-color:#000;
}

div.pref {
 color:#CFF;
 background-color:#777;
}

*::selection {
 background-color:#844;
 color:#FF4;
}

pre>samp {background-color:#444;color:#FFF}
pre:hover>samp {background-color:#000}
pre>samp:hover {background-color:#003}
pre:hover>samp:before {background-color:#4F4}
pre>samp:hover:before {background-color:#F22;color:#FF0}