@import url(http://static.wikidot.com/common--theme/base/css/style.css);
@import url(http://static.wikidot.com/common--theme/clean/css/style.css);
@import url(http://static.wikidot.com/common--theme/clean-no-side-bar/css/style.css);

#main-content {
    margin:    auto;
    padding:  0px;
    max-width: 800px;
    line-height: 160%;
}

body { 
    font-family: deja vu, serif; 
    background-color: #f4f0d4
 }

a { 
    text-decoration: none; 
    color: #15438f
}

h1 {
    font-weight: bold;
}

#header, #footer {
    background-color: rgba(0, 0, 0, 0.04);
}

#header h1 {
    font-weight: normal;
    font-size: 90%;
    letter-spacing: 0.2em;
}

#top-bar ul li a {
    border: none;
    background-color: rgba(0, 0, 0, 0.04);
    padding: 1ex;
}