@font-face {
    font-family: 'Ubuntu Mono Bold';
    src: url('fonts/UbuntuMono-B.ttf');
}

@font-face {
    font-family: 'Open Sans';
    src: url('fonts/OpenSans-Light.ttf');
    font-weight: 300;
}

@font-face {
    font-family: 'Open Sans';
    src: url('fonts/OpenSans-LightItalic.ttf');
    font-weight: 300;
    font-style: italic;
}

@font-face {
    font-family: 'Open Sans';
    src: url('fonts/OpenSans-Regular.ttf');
    font-weight: 400;
}
@font-face {
    font-family: 'Open Sans';
    src: url('fonts/OpenSans-Italic.ttf');
    font-weight: 400;
    font-style: italic;
}

@font-face {
    font-family: 'Open Sans';
    src: url('fonts/OpenSans-Bold.ttf');
    font-weight: 600;
}

@font-face {
    font-family: 'Open Sans';
    src: url('fonts/OpenSans-BoldItalic.ttf');
    font-weight: 600;
    font-style: italic;
}

body {
    font-family: Open Sans;
    font-size: 12pt;
    overflow: hidden;
    margin: 0;
    padding: 0;
}

h1, h2, h3, h4, h5, h6 {
    font-family: 'Ubuntu Mono Bold', monospace;
}

a {
    color: #000;
    text-decoration: underline;
}

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

#contents {
    position: absolute;
    left: 0; top: 0;
    right: 0; bottom: 0;
}

#split {
    position: absolute;
    left: 0; right: 0;
    top: 0; bottom: 32px;
}

/* *** */

#listing {
    border-right: 2px dotted #0F0;
}

#listing .body {
    position: absolute;
    left: 0; right: 0;
    top: 0; bottom: 0;
    overflow-y: auto;
}

#listing .body:focus {
    outline: 0;
}

#listing .controls {
    position: absolute;
    background: white;
    z-index: 10;
    right: 16px;
    bottom: 0;
    width: auto;
}

#listing div.item a.normal {
    color: black;
}

#listing div.item a.make {
    font-style: italic;
    color: black;
}

#listing div.item a.potential {
    color: gray;
}

.itemcheckbox:checked + a {
  color: #0F0 !important;
}

#listing .selection_functions {
    display: none;
}

/* *** */

#editor {
    position: absolute;
}

.editor {
    position: absolute;
    width: 100%;
    height: 100%;
    z-index: 0;
}

.editor .editorbody {
    position: absolute;
    top: 0; left: 0;
    bottom: 32px;
    right: 0;
}

.editor .editorfoot {
    position: absolute;
    left: 10px;
    bottom: 0px;
    right: 0;
    height: 32px;
}

.editorfoot label {
    font-size: 12px;
}

#editor .preview {
    position: absolute;
    left: 0; right: 0;
    top: 0; bottom: 0;
    z-index: 10;
    background: white;
    display: none;
}

#editor .preview iframe {
    width: 100%;
    height: 100%;
    border: none;
    margin: 0;
    padding: 0;
}

#editor .make {
    position: absolute;
    left: 0; right: 0;
    bottom: 0; top: 0;
    z-index: 10;
    display: none;
}

#editor .make .body {
    position: absolute;
    left: 0; top: 0;
    width: 100%;
    height: 100%;
    overflow: auto;
}

#editor .make .body .stdout {
    color: black;
}

#editor .make .body .stderr {
    margin-top: 1em;
    color: red;
}

#editor .make .busy {
    position: absolute;
    left: 50%;
    top: 50%;
    display: none;
}

#editor .make .busy img {
    position: relative;
    left: -26px;
    top: -26px;
}

/* ********************************* */
/* aa_frames.js: Simple css "frames" */
/* ********************************* */

.frame {
    position: absolute;
    left: 0; right: 0;
    top: 0; bottom: 0;
}

.left {
    position: absolute;
    left: 0; right: 50%;
    top: 0; bottom: 0;
}

.right {
    position: absolute;
    left: 50%; right: 0;
    top: 0; bottom: 0;
}

.top {
    position: absolute;
    left: 0; right: 0;
    top: 0; bottom: 50%;
}

.bottom {
    position: absolute;
    left: 0; right: 0;
    top: 50%; bottom: 0;
}

.hdiv {
    position: absolute;
    left: 50%;
    top: 0; bottom: 0;
    z-index: 100;
}

.hdiv .divcontents {
    position: absolute;
    left: -15px;
    width: 30px;
    top: 40%; bottom: 40%;
    cursor: move;
}

.vdiv {
    position: absolute;
    top: 50%;
    left: 0; right: 0;
    background: gray;
    cursor: move;
    z-index: 100;
}

.vdiv .divcontents {
    position: absolute;
    top: -15px;
    height: 30px;
    left: 0; right: 0;
    cursor: move;
}

/**********************************************/

#footer {
    position: absolute;
    left: 0;
    bottom: 0;
    right: 0;
    text-align: center;
    font-size: smaller;
    padding-bottom: 10px;
    z-index: 100;
}

img.logo{
    position: fixed;
    width:80px;
    right:15px;
    bottom:5px;
}

input, select, button{
    background: #FFF;
    border: 2px solid #0F0;
}

div.dz-error-message span{
    border-bottom: 2px dotted #0F0!important; 
}

div.dz-details{
    font-size: 0.8em;
    margin-top: 20px;
}

div.ace_print-margin{
    visibility:hidden!important;
}

