/** Common Properties *******************************************************/

a, body, dd, dl, dt, div, fieldset, form, h1, h2, h3, h4, img, li, ul, ol, p,
pre, table, td, tr
{
    margin: 0;
    padding: 0;
}

a {
    color: black;
    cursor: pointer;
    text-decoration: none;
}

acronym {
    border: none;
    cursor: help;
    font-variant: normal;
}

body {
    background: url("../images/header.png") repeat-x top left white;
    color: black;
    font-size: 80%;
    font-family: "Lucida Grande", "Lucida Sans", "Bitstream Vera Sans", "Verdana", sans-serif;
}

code, textarea, pre {
    font-family: Monaco, "Bitstream Vera Sans Mono", monospace;
}

img {
    border: none;
}

ul {
    list-style-type: none;
}

span.annotation {
    color: #646464;
}

span.constant {
    color: #2a00ff;
    font-style: italic;
}

span.doc {
    color: #3f5fbf;
}

span.keyword, span.attribute_name {
    color: purple;
    font-weight: bold;
}

span.string, span.attribute_value {
    color: #2a00ff;
}

span.tag {
    color: teal;
}

/** Menu *******************************************************************/

#menu {
    margin-top: 25px;
    text-align: center;
}

#menu li {
    color: #888;
    display: inline;
}

#menu a {
    font-weight: bold;
    margin: 0 0.7em;
    text-decoration: underline;
}

#menu li.current a {
    text-decoration: none;
}

#menu a:hover {
    border-bottom: 1px solid #ff8000;
    text-decoration: none;
}

/** Main *******************************************************************/

/* Common */

#main {
    margin: 30px auto 0;
    width: 700px;
}

#main a {
    border-bottom: 1px dashed #ff8000;
}

#main a:hover {
    border: none;
    color: #ff8000;
}

#main h1 {
    font-size: 200%;
    font-weight: bold;
}

#main h2 {
    font-size: 150%;
    font-weight: bold;
    margin: 1.5em 0 0.5em 1em;
}

#main h3 {
    font-size: 120%;
    font-weight: bold;
    margin: 1.5em 0 0.5em 1.2em;
}

#main p {
    margin: 0.5em 0 0.5em 3em;
    line-height: 160%;
    text-align: justify;
}

#main pre {
    background: #efefef;
    border: 1px dashed #13519d;
    margin: 0.8em 0 0.8em 3em;
    overflow: auto;
    padding: 1em;
}

#main pre.console {
    border: 1px solid #ccc;
    background: black;
    color: white;
}

#main pre.console span.prompt {
    color: #ff9900;
}

#main ul {
    list-style-type: square;
    margin: 0.5em 0 0.5em 5em;
}

#main ul li {
    line-height: 140%;
    margin: 0.8em 0;
}

/* Greater */

#main .greater {
    background: url("../images/logo_reverse.png") no-repeat center left;
    padding: 1.2em 0 1.2em 60px;
}

#main .greater p {
    color: #777;
    line-height: 140%;
    font-size: 120%;
    margin: 0.4em 0 0;
}

/* Code sample */

#main .code_sample {
    clear: both;
}

#main .code_sample img {
    border: 1px solid #ccc;
    display: block;
    margin-bottom: 20px;
    padding: 8px;
}

#main .code_sample p {
    font-size: 120%;
    font-weight: bold;
    margin: 0 0 40px;
}

#main #first.code_sample img {
    float: right;
}

#main #first.code_sample p {
    float: right;
    margin-right: 10px;
    text-align: right;
    width: 230px;
}

#main #second.code_sample img {
    float: left;
}

#main #second.code_sample p {
    float: left;
    margin-left: 10px;
    text-align: left;
    width: 230px;
}

/* Downloads */

#main p.changelog {
    margin-top: 1.2em;
}

#main p.changelog a {
    font-style: italic;
}

#main .downloads .license {
    font-weight: bold;
    margin: 1.5em 0;
    text-align: center;
}

#main .downloads .license a {
    font-weight: bold;
}

#main #latest_release {
    font-size: 110%;
    margin-bottom: 3em;
}

#main .download {
    font-weight: bold;
    text-align: center;
}

#main .download a {
    background: url("../images/download.png") no-repeat center left;
    margin: 0 0.4em;
    padding-left: 12px;
}

#main .downloads p {
    text-align: left;
}

#main .downloads a {
    font-weight: normal;
}

#main .downloads .download span {
    cursor: help;
}

#main .downloads .repository {
    margin: 1.5em 0 0;
    text-align: center;
}

#main .downloads .repository code {
    background: #ddd;
    border: 1px solid #888;
    padding: 0.2em 0.5em;
}

#main .downloads .repository code a {
    border: none;
}

#main .downloads .repository code a:hover {
    color: black;
    text-decoration: underline;
}

#main .old_releases {
    margin-top: 2em;
}

#main .old_releases label {
    font-weight: bold;
}

#main .old_releases p {
    text-align: left;
}

#main .old_releases p.submit {
    margin-top: 1.3em;
}

#main .old_releases p.submit input, #main .old_releases input.submit {
    font-weight: bold;
}

#main #latest_doc {
    margin: 50px 0;
    text-align: center;
}

#main #latest_doc a {
    background: url("../images/documentation.png") no-repeat center left;
    border: none;
    font-size: 140%;
    font-weight: bold;
    padding: 1em 0 1em 38px;
    text-decoration: underline;
}

#main #latest_doc a:hover {
    text-decoration: none;
}

/* Tutorial */

#main ul.toc {
    list-style-type: none;
    margin: 1.2em 0 0.5em 2em;
}

#main .toc a {
    background: url("../images/gray_arrow.png") no-repeat center left;
    border: none;
    font-weight: bold;
    padding-left: 16px;
}

#main ul.toc li {
    margin: 0.5em 0;
}

/** Footer *****************************************************************/

#footer {
    clear: both;
    margin: 4em 0 2em;
    text-align: center;
}

#footer ul.locales li {
    display: inline;
    margin: 0 3px;
}

#footer p {
    margin: 5px 0;
}

#footer p.doff_link a {
    background: url("../images/logo.png") no-repeat center;
    display: block;
    margin: 0 auto;
    height: 46px;
    width: 88px;
}

#footer p.author {
    color: #777;
}

#footer p.author a {
    color: #444;
}

#footer p.author a:hover {
    color: black;
}