body {
    font-family: sans-serif;
    font-size: 12px;
    margin: 0px;
}
/*
 * delete some stuff
 */
#menu,
#pagescrolling,
.directlinkwarning {
    display: none;
}

/* make links readable */
a {
    text-decoration: none;
}
#text a,
.questions a {
    font-style: italic;
}
#text a:after,
.questions a:after {
    content: ' <' attr(href) '>';
}

/* example code */
pre
{
    font-family: monospace;
    font-size: 12pt;
    padding: 5px;
    border: 1px solid black;
}
/* table */
table
{
    border: 3px solid blue	;
    border-collapse:collapse;
}
table td
{
    border:1px solid black;
    padding: 2px;
}
/* images */
img {
    border: 5px solid black;
}