|
|
|
@ -2,11 +2,9 @@
|
|
|
|
body {
|
|
|
|
body {
|
|
|
|
margin: 0.4em;
|
|
|
|
margin: 0.4em;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
.text,.fakelink {
|
|
|
|
.text {
|
|
|
|
font-family: Calibri, Ubuntu, "Droid Sans", Tahoma, Arial, Helvetica, sans-serif;
|
|
|
|
font-family: Calibri, Ubuntu, "Droid Sans", Tahoma, Arial, Helvetica, sans-serif;
|
|
|
|
}
|
|
|
|
font-size: 0.9em;
|
|
|
|
.small {
|
|
|
|
|
|
|
|
font-size: 0.8em;
|
|
|
|
|
|
|
|
}
|
|
|
|
}
|
|
|
|
pre,textarea,code,.code,.filename,.CodeMirror {
|
|
|
|
pre,textarea,code,.code,.filename,.CodeMirror {
|
|
|
|
font-family: Consolas, "Ubuntu Mono", "Droid Sans Mono", "Lucida Console", "Courier New", Courier, monospace;
|
|
|
|
font-family: Consolas, "Ubuntu Mono", "Droid Sans Mono", "Lucida Console", "Courier New", Courier, monospace;
|
|
|
|
@ -46,7 +44,6 @@ pre {
|
|
|
|
.fakelink {
|
|
|
|
.fakelink {
|
|
|
|
color: darkblue;
|
|
|
|
color: darkblue;
|
|
|
|
cursor: pointer;
|
|
|
|
cursor: pointer;
|
|
|
|
font-size: 0.9em;
|
|
|
|
|
|
|
|
}
|
|
|
|
}
|
|
|
|
.badfilename {
|
|
|
|
.badfilename {
|
|
|
|
background-color: rgba(255,200,200,255);
|
|
|
|
background-color: rgba(255,200,200,255);
|
|
|
|
|