@import "style/highlight.css";
html
{
background-color: #EEE;
color: #000;
}
a
{
color: #0000C0;
}
/** - date -----------------------------
*/
.date
{
color: #AAA;
/* font-size: 0.8em; */
}
/** - h --------------------------------
*/
h2
{
font-family: monospace;
font-weight: normal;
margin-bottom: 0.5em;
}
/** - stage ----------------------------
*/
pre.stage, pre.float
{
clear: left;
float: left;
margin: 0;
}
pre.stage
{
background-color: #F2F2F2;
border: medium solid #C0C0C0;
padding: 0.5em;
}