body, html {
    margin: 0;
    padding: 0;
}

body {
    font-family: sans-serif;
    font-size: 0.84em;
    line-height: 1.68em;
}

a {
    color: blue;
    text-decoration: none;
}

a:hover {
    color: #ff8c00;
    text-decoration: underline;
}

a:active {
    color: red;
}

#wrap {
    margin: 0 auto;
    width: 750px;
}

#header {
    height: 45px;
}

#header ul {
    list-style: none;
    margin: 0 0.3em;
    padding: 0.2em;
}

#header li {
    float: left;
    margin: 0 0.3em;
}

#header h1 {
    float: left;
    color: #c00;
    margin: 10px 10px;
    padding: 15px 5px;
}

#main {
    clear: both;
    float: left;
    width: 530px;
    margin: 0 10px;
    padding: 5px;
}

#logo {
    margin-bottom: 10px;
    border: 0;
}

#menu {
    float: right;
    width: 150px;
}

.navigation ul {
    margin: 0;
    padding: 0;
}

.navigation ul li {
    list-style: none;
}

.navigation a {
    text-decoration: none;
    color: #003;
    background-color: #eef;
    padding: 4px;
    display: block;
}

.navigation a:hover {
    background-color: #cde;
}

.navigation a.highlight, a.highlight#hover {
    background-color: black;
    color: white;
}

#footer {
    margin-top: 3em;
    text-align: center;
    color: #666;
    font-size: 80%;
    clear:both;
}

p code {
    font-weight: bold;
}

pre.code, pre.sh_javascript {
    overflow: auto;
    background-color: #eef;
    border-width: 1px;
    border-color: #bcf;
    border-style: solid;
    padding: 0.5em;
}

a.toplink {
    padding: 0.5em 0.7em;
    margin: 0.3em;
    font-weight: bold;
    text-shadow: #666 1px 1px 2px;
    color: white;
    text-decoration: none;
    border-bottom-left-radius: 7px;
    border-bottom-right-radius: 7px;
    -moz-border-radius-bottomleft: 7px;
    -moz-border-radius-bottomright: 7px;
    -webkit-border-bottom-left-radius: 7px;
    -webkit-border-bottom-right-radius: 7px;
}

a#wiki {
    background-color: #d55;
}

a#wiki:hover {
    background-color: #e00;
}

a#code {
    background-color: #669;
}

a#code:hover {
    background-color: #77d;
}

a#docs {
    background-color: #9c3;
}

a#docs:hover {
    background-color: #9d3;
}

a#demo {
    background-color: #cb3;
}

a#demo:hover {
    background-color: #dc4;
}

textarea {
    width: 90%;
    height: 30em;
}

input.title {
    width: 90%;
    font-size: 1.2em;
    font-weight: bold;
}