body {
    color: #4f4f4f;
    /* background: url("static/img/background.png"); */
}

div.header {
    margin-left: 5%;
    margin-right: 5%;
    background: url("static/img/logo.png") no-repeat center right;
    padding: 100px;
    border: 10px solid #000000;
}

#content {
    background: #ffffff;
    margin-left: 5%;
    margin-right: 5%;
    border: 2px solid #4f4f4f;
    padding: 5px;
}

.pagedate {
    color: gray;
    font-size: 0.7em;
    text-align: right;
}

.inlinepage {
    float: left;
    width: 70%;
    border: 2px solid #4f4f4f;
    background: white;
    margin-left: -0.6%;
    margin-top: 0.4%;
}

.tags {
    float: right;
    color: gray;
    font-size: 0.7em;
    text-align: right;
}

#pageinfo {
    border: 0px;
}

.pagecloud {
    position: absolute;
    margin-top: 11.5%;
    margin-right: 7%;
    left: 70%;
//    background: #F9F7ED;
}

pre {
    background-color: #f7f7f7;
}

a {
    color: #555555;
}