body {
    background-color: #FFF;
    text-color: #000;
    font-family: Verdana, Sans;
}

#box {
    position: absolute;
    width: 8px;
    height: 8px;
    top: 50%;
    left: 50%;
}

#first {  /* logo */
    position: absolute;
    top: -120px;
    left: 120px;
}

#one, #one a {  /* kanatest */
    position: absolute;
    top: -20px;
    left: -115px;
    white-space: nowrap;
    color: #AAA; 
    font-family: Verdana, Sans;
    font-size: 70px;
    text-decoration: none;
}
#one a:hover {
    font-style: italic;
    font-weight: bold;
}

#two, #two a {    /* latex symbols selector */
    position: absolute;
    top: -45px;
    left: -150px;
    white-space: nowrap;
    color: #555; 
    font-family: Verdana, Sans;
    font-weight: bold;
    font-size: 25px;
    text-decoration: none;
}
#two a:hover {
    text-decoration: underline;
    font-size: 30px;
}

#three, #three a {    /* osmo */
    position: absolute;
    top: 30px;
    left: -45px;
    white-space: nowrap;
    color: #333; 
    font-family: Verdana, Sans;
    font-size: 40px;
    font-style: italic;
    text-decoration: none;
}
#three a:hover {
    font-weight: bold;
    font-size: 55px;
}

#last, #last a {     /* repository */
    position: absolute;
    top: 25px;
    left: -135px;
    white-space: nowrap;
    color: #222; 
    font-size: 20px;
    font-family: Verdana, Sans;
    text-decoration: none;
}
#last a:hover {
    font-size: 25px;
    font-weight: bold;
}

p.not_found {
    color: #444; 
    text-align: center;
    font-size: 200px;
    font-weight: bold;
}