html {
    background-color: #fff;
    overflow-y: scroll;
}

body {
    font: 13px/1.231 arial, helvetica, clean, sans-serif;
    *font-size: small;
    *font: x-small;
}

select, input, button, textarea {
    font: 99% arial, helvetica, clean, sans-serif;
}


pre, code, kbd, samp, tt {
    font-family: "Consolas", "Lucida Console", "Monaco", monospace;
    *font-size: 108%;
    line-height: 100%;
}

#page {
    padding : 20px;
}


#header {
    margin-bottom: 40px;
}


.clear {
    clear: both;
}

a {
    color: rgb(4, 47, 83);
}

a:visited {
    color: rgb(4, 47, 83);
}


ol li ol {
    list-style-type: lower-latin;
}

p {
    margin: 5px 0;
}

h1 {
    font-size: 28px;
    font-weight: bold;
}

h2 {
    font-size: 22px;
    font-weight: bold;
    margin: 30px 0 10px 0;
}

h3 {
    font-size: 14px;
    font-weight: bold;
    margin: 20px 0 10px 0;
}

.button {
    display: inline-block;
    white-space: nowrap;
    background-color: #ddd;
    background-image: -webkit-gradient(linear, left top, left bottom, from(#eee), to(#ccc));
    background-image: -webkit-linear-gradient(top, #eee, #ccc);
    background-image: -moz-linear-gradient(top, #eee, #ccc);
    background-image: -ms-linear-gradient(top, #eee, #ccc);
    background-image: -o-linear-gradient(top, #eee, #ccc);
    background-image: linear-gradient(top, #eee, #ccc);
    border: 1px solid #777;
    padding: 0 1.5em;
    margin: 0 5px 10px 0;
    text-decoration: none;
    color: #000;
    font-weight: bold;
    font-size: 14px;
    line-height: 2em;
    text-shadow: 0 1px 0 rgba(255, 255, 255, .8);
    -moz-border-radius: .2em;
    -webkit-border-radius: .2em;
    border-radius: .2em;
    -moz-box-shadow: 0 0 1px 1px rgba(255, 255, 255, .8) inset, 0 1px 0 rgba(0, 0, 0, .3);
    -webkit-box-shadow: 0 0 1px 1px rgba(255, 255, 255, .8) inset, 0 1px 0 rgba(0, 0, 0, .3);
    box-shadow: 0 0 1px 1px rgba(255, 255, 255, .8) inset, 0 1px 0 rgba(0, 0, 0, .3);
}

.button:hover {
    background-color: #eee;
    background-image: -webkit-gradient(linear, left top, left bottom, from(#fafafa), to(#ddd));
    background-image: -webkit-linear-gradient(top, #fafafa, #ddd);
    background-image: -moz-linear-gradient(top, #fafafa, #ddd);
    background-image: -ms-linear-gradient(top, #fafafa, #ddd);
    background-image: -o-linear-gradient(top, #fafafa, #ddd);
    background-image: linear-gradient(top, #fafafa, #ddd);
}

.button:active {
    -moz-box-shadow: 0 0 4px 2px rgba(0, 0, 0, .3) inset;
    -webkit-box-shadow: 0 0 4px 2px rgba(0, 0, 0, .3) inset;
    box-shadow: 0 0 4px 2px rgba(0, 0, 0, .3) inset;
    position: relative;
    top: 1px;
}

.button:focus {
    outline: 0;
    background: #fafafa;
}

.button:before {
    background: #ccc;
    background: rgba(0, 0, 0, .1);
    float: left;
    width: 1em;
    text-align: center;
    font-size: 1.4em;
    margin: 0 1em 0 -1em;
    padding: 0.1em .3em;
    -moz-box-shadow: 1px 0 0 rgba(0, 0, 0, .5), 2px 0 0 rgba(255, 255, 255, .5);
    -webkit-box-shadow: 1px 0 0 rgba(0, 0, 0, .5), 2px 0 0 rgba(255, 255, 255, .5);
    box-shadow: 1px 0 0 rgba(0, 0, 0, .5), 2px 0 0 rgba(255, 255, 255, .5);
    -moz-border-radius: .15em 0 0 .15em;
    -webkit-border-radius: .15em 0 0 .15em;
    border-radius: .15em 0 0 .15em;
    pointer-events: none;
}

.run:before {
    content: "\25B6";
}

.help:before {
    content: "?";
}

.visualize:before {
    content: "\2737";
}

.delete:before {
    content: "–";
}

.toggle-content {
    display: none;
    padding-bottom: 20px;
}

.float-left {
    float: left;
}

#console h2 {
    margin-bottom: 55px;
}

#editor, #logo-uzh {
    width: 60%;
    padding-right: 5%;
}

#console, #error, #logo-ddis {
    width: 35%;
}

#error h2 {
    margin-bottom: 55px;
}

#contents {
    margin: 30px 0 0 0 ;
}

.CodeMirror-line-numbers {
    width: 2.2em;
    color: #aaa;
    background-color: #eee;
    text-align: right;
    padding: .4em;
    margin: 0;
    font-family: "Consolas", "Lucida Console", "Monaco", monospace;
    font-size: 9pt;
    line-height: 1.1em;
}

#edoutput {
    padding: 10px;
    background: #fff;
    border: 1px solid #000;
    color: #000;
    height: 400px;
    overflow: auto;
    font-family: "Consolas", "Lucida Console", "Monaco", monospace;
    font-size: 10pt;
}