datatable.directory codebase https://datatable.directory/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

168 lines
2.3 KiB

body, textarea, input {
font-size: 12px;
font-family: "Source Code Pro", monospace;
}
body {
background: #191A16;
color: #F0F0F0;
margin: 0;
padding: 0;
width: 100%;
height: 100%;
position: absolute;
top: 0;
bottom: 0;
display: flex;
flex-direction: column;
overflow: hidden;
}
/* ace-editor requires to define styles by id (specificity) */
.editor#editor {
width: 100%;
position: relative;
flex: 1 1 auto;
}
.console-wrapper {
flex: 1 1 auto;
display: flex;
}
.footer-wrapper {
flex: 0 1 auto;
}
a:hover {
text-shadow: 0 0 2px white;
}
a {
cursor: pointer;
}
.expand {
display: block;
margin-bottom: 5px;
}
.output, .input {
}
.output-wrapper, .input-wrapper {
flex: 1 1 50%;
position: relative;
}
.output {
position: absolute;
top: 0;
bottom: 0;
left: 0;
right: 0;
overflow: auto;
padding: 0 5px;
font-size: 18px;
white-space: pre-wrap;
}
.output h1 {
margin: .5em 0 0 0;
}
.output p, .output pre {
margin: .5em 0;
-webkit-margin-before: 0;
-webkit-margin-after: 0;
}
.input-wrapper {
border-right: 4px solid #686860;
}
.input-wrapper form {
position: absolute;
top: 0;
bottom: 0;
left: 0;
right: 0;
display: flex;
flex-direction: column;
}
.input {
flex: 1 1 auto;
display: flex;
}
.statusbar {
padding: 3px 5px;
background: #686860;
text-shadow: 0 -1px 1px black;
height: 35px;
line-height: 20px;
position: relative;
color: white;
display: flex;
align-items: center;
}
.runtime-info {
text-align: right;
flex-grow: 1;
padding-right: 10px;
white-space: nowrap;
}
.statusbar a {
padding: 0 3px 0 8px;
}
.position {
white-space: nowrap;
}
input[type=submit] {
width: 80px;
font-weight: bold;
}
input[type=submit], #saves {
height: 30px;
}
.output img.loader {
display: none; /*it's ugly*/
}
.help {
width: 33%;
float: left;
white-space: pre;
}
.footer {
width: 100%;
clear: left;
text-align: center;
color: #aaa;
}
.footer a {
color: #aaa;
}
.control-char {
background: #000;
color: #fff;
margin-left: 2px;
margin-right: 2px;
-webkit-border-radius: 3px;
border-radius: 3px;
padding: 1px 2px;
}