#navigation
{
    padding-bottom: 80px;
    background: url("../images/ig2k.png") no-repeat bottom center;
}

#navigation h2 a
{
    background: #e9e6dd;
    color: #666;
    text-decoration: none;
}

.tor_logo
{
    background : transparent url("../images/tor_sticker.png") no-repeat;
    height : 60px;
    width : 80px;
    margin : 4% auto;
}

.umlv_logo
{
    background : transparent url("../images/logo_umlv.jpg") no-repeat;
    height : 133px;
    width : 385px;
    margin : 2% auto;
}

img
{
    border: 1px solid black;
    margin : 3% auto;
    display: block;
}

#content h5
{
    margin-left: 2%;
}

.noborder
{
    border: none;
}

#content pre
{
background:#8BB6C0 url("../images/Code.png") no-repeat 0.5em 0.5em;
}