You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
316 lines
4.6 KiB
CSS
316 lines
4.6 KiB
CSS
10 years ago
|
@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;
|
||
|
}
|
||
|
|