html body {
    font-family: "DejaVu Sans",sans-serif;
    font-size:12px;
    margin: 5px 0;
    text-align: center;
    background-color: #eeeeee;
}

pre {
    width: 700px;
    overflow: hidden;
}

#trapexit {
    position: absolute;
    top: 0;
    right: 0;
}

#page {
    margin: 0 auto;
    width: 760px;
    text-align: justify;
}

#header {
    padding: 5px;
}

#header img {
    float: left;
}

#header #topmenu {
    float: right;
}

#header #topmenu ul {
    list-style-type: none;
}

#header #topmenu ul li {
    float: left;
    padding: 25px 10px;
    font-size: 1.2em;
    font-weight: bold;
}

#main {
    clear: both;
}

#main > h1 {
    background-color: #333333;
    color: #ffffff;
    padding-right: 10px;
    text-align: right;
    font-size: 1.7em;
}

#main > h2 {
    text-align: left;
    margin: 0;
    padding-top: 15px;
}

#main > p {
    margin: 0;
    padding: 5px 0;
}

.fullpage {
    padding-bottom: 20px;
}

.fullpage > h1 {
    background-color: #333333;
    color: #ffffff;
    padding-right: 10px;
    text-align: right;
    font-size: 1.7em;
}

#terminal_container {
    border-style: solid;
    border-width: 1px;
    background-color: #ffffff;
    padding: 10px;
    height: 220px;
}

#progressbar {
    text-align: center;
    background: transparent url(/img/bgshadowdark.png) no-repeat scroll left top;
    padding: 20px 0;
    clear: both;
}

#top {
    background-color: #333333;
    color: #ffffff;
    float: left;
    width: 100%;
    padding: 5px 0;
}

#top-message {
    float: left;
    padding: 0 10px;
}

#top #reset {
    float: right;
    font-weight: bold;
    padding: 0 10px;
}

#top #clear {
    float: right;
    font-weight: bold;
    padding: 0 10px;
}

#terminal_container #message {
    display: none;
    position: absolute;
    margin-top: 100px;
    margin-left: 400px;
    width: 280px;
    background-color: #333333;
    color: #ffffff;
    padding: 10px;
}

#explain {
    background-color: #333333;
    color: #ffffff;
    float: left;
    width: 100%;
    line-height: 1.6em;
}

#explain h1 {
    margin: 0
}

#explain #text {
    float: left;
    padding: 10px;
}

#explain #text code {
    background-color: #eeeeee;
    color: #000000;
    padding: 2px 5px;
}

#explain #book {
    float: right;
}

#tutorials {
    text-align: center;
}

#footer {
    text-align: center;
    clear: both;
    background: transparent url(/img/bgshadow.png) no-repeat scroll left top;
    padding: 30px;
}

a {
    color: #b63f11;
    text-decoration: none;
}

a img {
    border: none;
}

div.console {
    font-size: 14px;
    float: left;
    width: 98%;
    position: relative;
    padding-top: 5px;
}

div.console div.jquery-console-inner {
    width:100%;
    height:200px;
    padding:0;
    overflow:auto;
}

div.console div.jquery-console-prompt-box {
}

div.console div.jquery-console-focus span.jquery-console-cursor {
    background:#333;
    color:#eee;
    font-weight:bold
}

div.console span.jquery-console-prompt-label {
    font-weight:bold
}

#erlangprogramming {
    float: right;
    padding: 10px 10px 5px 100px;
}

.restrictions table {
    border-width: 2px;
    border-spacing: ;
    border-style: none;
    border-color: gray;
    border-collapse: collapse;
    background-color: white;
    margin-left: auto;
    margin-right: auto;
}

.restrictions table th {
    border-width: 1px;
    padding: 5px;
    border-style: solid;
    border-color: gray;
    background-color: #333333;
    color: #ffffff;
    -moz-border-radius: ;
}

.restrictions table td {
    border-width: 1px;
    padding: 5px;
    border-style: solid;
    border-color: gray;
    background-color: white;
    -moz-border-radius: ;
}

.restrictions table td.title {
    background-color: #dddddd;
}