@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 {
    text-decoration: none;
}

#listing div.item.active a {
    font-weight: bold;
}

#listing div.item.active a::after {
    content: " \2192";
    font-weight: bold;
}

#listing div.item a:hover {
    text-decoration: underline;
}

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

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

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

#listing div.item a.rename {
    display: none;
}

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

#listing .selection_functions {
    display: none;
}

#listing button, #listing select {
    margin-right: 2px;
}

/* *** */

#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: 26px;
}

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

.editorfoot button, .editorfoot select {
    margin-right: 6px;
}

#editor .preview {
    position: absolute;
    left: 0; right: 0;
    top: 0; bottom: 30px;
    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;
    width: 100%;
    bottom: 0;
    height: 0;
    z-index: 10;
    background: #EEE;
}

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

#editor .make .body .stdout {
    color: black;
    margin-top: 2em;
    padding-left: 1em;
    white-space: pre-wrap;
}

#editor .make .body .stderr {
    margin-top: 1em;
    color: #0F0;
    margin-bottom: 5em;
    padding-left: 1em;
    padding-right: 1em;
    white-space: pre-wrap;
}

#editor .make .icon  {
    position: absolute;
    left: 50%;
    top: 0;
}

#editor .make .gear {
    position: relative;
    left: -27px;
    top: -27px;
    cursor: pointer;
    width: 54px;
    height: 54px;
    background-image: url("imgs/gear.png");
}

#editor .busy .gear {
    background-image: url("imgs/gear.gif") !important;
}

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

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

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

.right {
    position: absolute;
    left: 30%; 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: 30%;
    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;
    height: 30px;
    z-index: 1000;
    background: white;
}

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;
}

/* http://filedropjs.org */
/***
  Styles below are only required if you're using <iframe> fallback in
  addition to HTML5 drag & drop (only working in Firefox/Chrome).
 ***/

 /* Essential FileDrop zone element configuration: */
.fd-zone {
}

/* Hides <input type="file"> while simulating "Browse" button: */
.fd-file {
  opacity: 0;
  font-size: 118px;
  position: absolute;
  right: 0;
  top: 0;
  z-index: 1;
  padding: 0;
  margin: 0;
  cursor: pointer;
  filter: alpha(opacity=0);
  font-family: sans-serif;
}

/* Provides visible feedback when use drags a file over the drop zone: */
.fd-zone.over { border-color: maroon; background: #eee; }


.editorbody {
    font-size: 18px !important;
}