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.
89 lines
1.4 KiB
CSS
89 lines
1.4 KiB
CSS
|
|
body {
|
|
margin: 0.4em;
|
|
}
|
|
.text,.fakelink {
|
|
font-family: Calibri, Ubuntu, "Droid Sans", Tahoma, Arial, Helvetica, sans-serif;
|
|
}
|
|
.small {
|
|
font-size: 0.8em;
|
|
}
|
|
pre,textarea,code,.code,.filename,.CodeMirror {
|
|
font-family: Consolas, "Ubuntu Mono", "Droid Sans Mono", "Lucida Console", "Courier New", Courier, monospace;
|
|
}
|
|
pre {
|
|
margin: 0;
|
|
}
|
|
|
|
.CodeMirror {
|
|
border: 1px solid lightgrey;
|
|
height: auto;
|
|
}
|
|
.CodeMirror-scroll {
|
|
max-height: 12em;
|
|
}
|
|
|
|
.codewithfn {
|
|
margin-top: 0.1em;
|
|
}
|
|
.fnfuncs {
|
|
cursor: default;
|
|
}
|
|
.filename {
|
|
display: inline-block;
|
|
border: 0;
|
|
padding: 1px;
|
|
min-width: 1em;
|
|
cursor: auto;
|
|
}
|
|
.filefuncs {
|
|
display: none;
|
|
margin-left: 1em;
|
|
}
|
|
.fnfuncs:hover .filefuncs {
|
|
display: inline-block;
|
|
}
|
|
.fakelink {
|
|
color: darkblue;
|
|
cursor: pointer;
|
|
font-size: 0.9em;
|
|
}
|
|
.badfilename {
|
|
background-color: rgba(255,200,200,255);
|
|
/* also has a placeholder text */
|
|
min-width: 10em;
|
|
}
|
|
|
|
#misctools {
|
|
display: inline-block;
|
|
border: 1px solid grey;
|
|
padding: 1px 0.5em;
|
|
margin-top: 1px;
|
|
margin-right: 3px;
|
|
color: grey;
|
|
}
|
|
#misctools_reveal {
|
|
display: none;
|
|
}
|
|
#misctools:hover {
|
|
color: inherit;
|
|
}
|
|
#misctools:hover #misctools_reveal {
|
|
display: inline-block;
|
|
}
|
|
#runnerstate {
|
|
margin-top: 0.1em;
|
|
margin-bottom: 0.3em;
|
|
}
|
|
#runnererrors {
|
|
background-color: rgba(255,200,200,255);
|
|
margin-top: 0.3em;
|
|
margin-bottom: 0.3em;
|
|
padding: 0.1em 0.2em;
|
|
}
|
|
|
|
#inputhere, #outputhere {
|
|
text-align: right;
|
|
}
|
|
|