blob: 65478e0dbbb25a8938334a3972dba96adf7f1dd4 [file] [log] [blame] [raw]
body {
padding-top: 60px;
padding-bottom: 40px;
}
.sideBySide {
}
.options {
background: #ddf;
border-radius: 4px;
padding: 8px;
}
.options label {
display: inline-block;
}
.error {
background: #faa !important;
}
.template {
display: none;
}
li.social {
padding: 4px;
}
.CodeMirror-scroll {
min-height: 600px;
overflow-y: auto;
overflow-x: auto;
width: 100%;
}
.topbar {
margin-top: 10px;
padding: 6px;
background: #eee;
border-top-right-radius: 10px;
border-top-left-radius: 10px;
}
.indented {
margin-left: 36px;
}
/* These colours from Cynthia Brewer's excellent page at
* http://colorbrewer2.org/
*/
.rainbow-0 { background: rgb(141, 211, 199) !important; }
.rainbow-1 { background: rgb(255, 255, 179) !important; }
.rainbow-2 { background: rgb(190, 186, 218) !important; }
.rainbow-3 { background: rgb(251, 128, 114) !important; }
.rainbow-4 { background: rgb(128, 177, 211) !important; }
.rainbow-5 { background: rgb(253, 180, 98) !important; }
.rainbow-6 { background: rgb(179, 222, 105) !important; }
.rainbow-7 { background: rgb(252, 205, 229) !important; }
.rainbow-8 { background: rgb(217, 217, 217) !important; }
.rainbow-9 { background: rgb(188, 128, 189) !important; }
.rainbow-10 { background: rgb(204,234,197) !important; }
.rainbow-11 { background: rgb(255, 237, 111) !important; }