@import url("/font/stylesheet.css");

html, body {
    /* background-color: white; */
    color: black;
}
html {
    background: white;
}
a img {
    border: 0;
}
#toc {
    font-family: "BloklettersViltstiftViltstift", "DejaVu Serif", "Bitstream Vera Serif", sans-serif;  /* most serif fonts suck :) */
    text-align: center;
    padding: 10px;
    position: absolute;
    left: 5px;  /* IE 6 and 7 */
    top: 5px;
    width: 322px;
    float: left;  /* IE 6 */
}
#toc h1 {
    margin: 0;
    margin-bottom: 30px;
    font-style: italic;
    font-size: 64px;
    line-height: 70px;
    height: 70px;
    max-height: 70px;
}
#toc h1 a {
    text-decoration: none;
    color: black;
    font-size: 130%;
}
#toc h1 a:hover {
    text-decoration: underline;
}
#toc h2 {
    display: none;
}

#hacker {
/*    border: 2px solid black; */
    width: 321px;  /* was 312 */
    max-width: 321px;
    height: 321px;
    max-height: 321px;
    overflow: hidden;
}
#hacker a {
    opacity: 0.3;
    filter: alpha(opacity=30);  /* IE */
}
#hacker:hover a {
    opacity: 1;
    filter: alpha(opacity=100);  /* IE */
}
#hacker {
    margin: 0;
    padding: 0;
}
#hacker li {
    list-style-type: none;
    float: left;
    border: 2px solid silver;
    width: 100px;
    height: 100px;
    overflow: hidden;
    text-align: center;
    vertical-align: middle;
    font-size: 10pt;
    margin-right: 3px;
    margin-bottom: 3px;

    border-radius: 15px;
    -moz-border-radius: 15px;
    -webkit-border-radius: 15px;
    -khtml-border-radius: 15px;
/*    behavior:url(/border-radius.htc); */
}
#hacker li a {
    display: block;
    height: 100px;
    line-height: 100px;
    width: 100px;
    text-decoration: none;
    color: black;
    text-indent: 100px;
    border-radius: 15px;

    -moz-border-radius: 15px;
    -webkit-border-radius: 15px;
    -khtml-border-radius: 15px;
/*    behavior:url(/border-radius.htc); */
}
#hacker a:hover {
    font-size: 10pt;
    text-indent: 0;
    background-image: none;
}
#hacker li:hover {
    border-color: black;
    background-color: yellow;
}
#hacker li.nolink {
    border-color: silver;
    color: white;
    line-height: 100px;
}
#hacker li.nolink:hover {
    background-color: #eee;
    font-size: 12px;
    color: silver;
}
#linkme { background: url(/jn/waalboer.png); }
#linkperl { background: url(/jn/onion.png); }
#linkeo { background: url(/jn/jubilea.png); }
#linklinux { background: url(/jn/tux.png); }
#linktraffic { background: url(/jn/d6l.png); }

#contact {
    margin-top: 10px;
    font-family: "BloklettersViltstiftViltstift", "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
    font-size: small;
    line-height: 20px;
    vertical-align: middle;
}

#contact dl {
    position: relative;
    text-align: left;
    display: block;
    width: 22px;
    height: 22px;
    max-height: 22px;
    overflow: hidden;
    border: 1px solid white;
    float: left;
    padding: 1px;
    padding-bottom: 0px;
    margin: 0;
}
#contact dt {
    vertical-align: middle;
    float: left;
}
#contact dd {
    vertical-align: middle;
    margin: 0;
    margin-left: 1ex;
    float: left;
}
#contact dl:hover {
    width: auto;
    height: auto;
    max-height: none;
    border: 1px solid silver;
}

#contact #copyright {
    float: right;
    margin-right: 5px;
}
#main {
    margin-left: 360px;
    border: 1px solid silver;
    padding-left: 10px;
    padding-right: 10px;
    max-width: 40em;
    font-family: "BloklettersViltstiftViltstift", "DejaVu Serif", "Bitstream Vera Serif", sans-serif;
    font-size: 18px;
    line-height: 150%;
}

#main h1, #main h2, #main h3, #main h4, #main h5, #main h6 {
    font-style: italic;
    font-weight: normal;
    margin-top: 1.5ex;
    margin-bottom: 1ex;;
}

#main p {
    margin-top: 2ex;
    margin-bottom: 0;
}

@media print {
    #toc { display: none; }
    #main { margin: 0; }
}

em {
    color: chocolate;
}
a {
    color: chocolate;
    text-decoration: underline;
}
a:hover {
    color: maroon;
}
pre, tt {
    background: khaki;
    border: 1px solid silver;
    padding-left: 1px;
    padding-right: 1px;
}
.hide {
    display: none;
}