body {
    font-family: "Trebuchet MS", "Lucida Sans Unicode", "Lucida Grande", "Lucida Sans", Arial, sans-serif;
    font-size: 16px;
    line-height: 150%;
    color: #222;
    margin: 0;
    padding: 0;
}

ul,ol,dl,h1,h2,h3,h4,h5,h6,td,th,caption,pre,p,blockquote,input,textarea {
    font-size: 16px;
    line-height: 150%;
}

h1,h2,h3,h4,h5,h6 { 
    font-family: "Trebuchet MS", Tahoma, Arial, sans-serif;
    margin: 0; 
    padding: 5px 0;
    color: #888;
    clear: both; 
}

:active, :focus {
        outline: none;
}


h1 { font-size: 180%; line-height: 140%; font-weight: normal; margin-bottom: 20px}
h2 { font-size: 140%; line-height: 140%; margin: 0 }
h3 { font-size: 120%; line-height: 150% }
h4 { font-size: 100%; line-height: 120%; font-weight: bold; margin: 0; padding: 0 }
h5 { font-size:  90%; line-height: 150%; font-weight: bold }
h6 { font-size:  80%; line-height: 150%; font-weight: bold }

#header,
#footer {
    position: relative;
    height: 100px;
    padding-left: 220px;
    background: url('images/header.png') repeat-x left 20px;
}

#footer {
    padding: 0;
}

#header a.logo,
#footer a.logo {
    position: absolute;
    top: 0px;
    width: 200px;
    height: 110px;
    background: url('images/tt3_logo.png') no-repeat left top;
}

#header a.logo {
    left: 0px;
}

#header div.slide_no {
    position: absolute;
    top: 43px;
    right: 20px;
    width: 10em;
    height: 30px;
    color: #666;
    font-size: 0.8em;
    text-align: right;
}

#footer a.logo {
    right: 0px;
    margin: 1px solid red;
}

#header a.presentation {
    display: block;
    height: 10px;
    padding: 18px 20px 2px 0;
    font-size: 12px;
    line-height: 12px;
    color: #aaa;
    font-weight: normal;
    font-style: italic;
    text-decoration: none;
    text-align: right;
}

#header h1 a {
    display: block;
    margin-top: 0px;
    font-size: 14px;
    color: #777;
    font-weight: normal;
    text-decoration: none;
}

#header h1 a:hover,
#header a.presentation:hover {
    color: #222;
}


#footer {
    position: fixed;
    bottom: 0px;
    left: 0;
    height: 80px;
    width: 100%;
}

#footer div.controls {
    position: relative;
    top: 42px;
    left: 20px;
    float: left;
    width: 40%;
    color: #777;
}

#footer div.controls a {
    text-decoration: none;
    font-size: 0.8em;
    color: #777;
}

#footer div.controls a:hover {
    color: #222;
}


#footer div.copyright {
    position: relative;
    top: 42px;
    font-size: 0.8em;
    float: right;
    margin-right: 20px;
    width: 40%;
    color: #777;
    text-align: right;
    font-size: 0.8em;
}

#footer div#clock {
    position: absolute;
    top: 0px;
    left: 20px;
    width: 7em;
    color: #bbb;
    font-size: 0.8em;
}

#footer div#elapsed {
    position: absolute;
    top: 0px;
    right: 20px;
    width: 5em;
    color: #bbb;
    text-align: right;
    font-size: 0.8em;
}

#footer div#elapsed.cool {
    color: #8888ff;
}

#footer div#elapsed.warm {
    color: #cccc00;
}

#footer div#elapsed.warn {
    color: #ff7f00;
}

#footer div#elapsed.over {
    color: #ff0000;
}

#footer a.website {
    position: relative;
    display: block;
    width: 200px;
    margin: 0 auto;
    top: 42px;
    text-align: center;
    font-size: 12px;
    color: #777;
    text-decoration: none;
    outline: none;
}

#footer a.website:hover {
    color: #222;
}

#content {
    width: 80%;
    margin: 10px auto;
}

#content h1 {
    display: none;
}

body.start #content h1 {
    display: block;
}

div.frontis,
div.frontis h1, 
div.frontis h2, 
div.frontis h3, 
div.frontis h4 {
    text-align: center;
    max-width: 600px;
    margin: 0 auto;
}

div.frontis h1 {
    color: #444;
}

div.frontis h2 {
    margin-top: 20px;
    color: #666;
}

ul {
    margin: 0;
}

li {
    list-style: disc;
}

body.index ol li {
    padding: 0;
    margin: 0;
    line-height: 16px;
}

body.index a {
    font-size: 12px;
    line-height: 14px;
    margin: 0;
    padding: 0;
}



div.more {
    padding: 4em 0 0 20em;
    font-style: italic;
    color: #aaa;
    font-size: 0.8em;
}

pre {
    /*padding-left: 25px; */
    line-height: 135%;
    padding: 10px 0 0 40px;
    margin-top: 0px;
}

code {
    color: #00A;
/*    color: #800; */
}

span.edit {
    font-weight: bold;
    background-color: #eef;
    padding: 3px 2px;
}

span.keyword {
    color: #A00;
}

span.method {
    color: #08a;
}

span.package {
    color: #00a;
}

span.variable {
    color: #080;
}

span.placeholder {
    color: #084;
}

span.string,
span.string span.package {
    color: #66F;
}

span.arrow {
    color: #666;
}

span.comment {
    color: #888;
}

span.error {
    color: #a00;
}

span.ok {
    color: #0a0;
}

body.badger {
    background: black url('../images/badger.png') no-repeat center 100px;
}

body.fullscreen #footer,
body.badger #footer {
    display: none;
}

body.fullscreen #header,
body.badger #header {
    display: none;
}

body.fullscreen #content h1 {
    display: block;
    font-size: 24px;
    line-height: 32px;
    font-weight: bold;
}

body.badger #content h1 {
    display: block;
    font-size: 40px;
    line-height: 58px;
    font-weight: bold;
    color: white;
    text-align: center;
    margin-top: 300px;
    background-color: black;
    opacity: 0.8;
}

body.fullscreen #content h2 {
    font-size: 1.3em;
}

p.abw {
    color: #666;
    font-size: 0.7em;
    line-height: 130%;
    margin: 0 5em 1.5em 0;
    padding: 0;
}

a {
    color: #007fff;
}

a:hover {
    color: #ff7f00;
}

a.inspect {
    display: block;
    text-align: right;
    text-decoration: none;
    font-family: "Trebuchet MS", "Lucida Sans Unicode", "Lucida Grande", "Lucida Sans", Arial, sans-serif;
    font-style: italic;
    font-size: 12px;
    color: #888;
    padding: 0;
    margin: 0;
}

a.inspect:hover {
    color: #ff7f00;
}


