html { width: 100%; height: 100%; padding: 0; margin: 0; } body { font-family: monospace; background-color: #002b36; color: #eee8d5; width: 100%; height: 100%; padding: 0; margin: 0; } .navigation { height: auto; margin: 4px; } #logo { vertical-align: middle; } .hbox { display: flex; flex-direction: row; } .vbox { display: flex; flex-direction: column; } .input { display: flex; flex-flow: row; } #prompt { padding-right: 0.5em; color: #eee8d5; } #input { flex: 1; border: 0; outline: none; font-family: monospace; background-color: #002b36; color: #eee8d5; } #input.drop { border: 2px solid; color: #cb4b16; } .CodeMirror { height: 100%; padding: 0; top: 0; left: 0; right: 0; bottom: 0; position: absolute; } .cm-tab { background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAMCAYAAAAkuj5RAAAAAXNSR0IArs4c6QAAAGFJREFUSMft1LsRQFAQheHPowAKoACx3IgEKtaEHujDjORSgWTH/ZOdnZOcM/sgk/kFFWY0qV8foQwS4MKBCS3qR6ixBJvElOobYAtivseIE120FaowJPN75GMu8j/LfMwNjh4HUpwg4LUAAAAASUVORK5CYII=); background-position: right; background-repeat: no-repeat; -webkit-filter: invert(100%); filter: invert(100%); } .cm-trailingspace { background-image: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAACCAYAAAB/qH1jAAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH3QUXCToH00Y1UgAAACFJREFUCNdjPMDBUc/AwNDAAAFMTAwMDA0OP34wQgX/AQBYgwYEx4f9lQAAAABJRU5ErkJggg==); background-position: bottom left; background-repeat: repeat-x; } #status { display: none; } #update { display: none; } #login { float: right; } #auth_greeting { text-align: center; } #auth { display: flex; flex-flow: row; align-content: center; align-items: center; text-align: center; justify-content: center; } #auth_login { flex: 0 1 auto; text-align: right; } .auth_or { flex: 0 1 auto; padding: 1em; } #auth_guest { flex: 0 1 auto; } .notice { color: #cb4b16; margin: 1em; padding: 1em; border: 1px solid #cb4b16; } /* Solarized Color Scheme Colors */ .base03 { color: #002b36; } .base02 { color: #073642; } .base01 { color: #586e75; } .base00 { color: #657b83; } .base0 { color: #839496; } .base1 { color: #93a1a1; } .base2 { color: #eee8d5; } .base3 { color: #fdf6e3; } .yellow { color: #b58900; } .orange { color: #cb4b16; } .red { color: #dc322f; } .magenta { color: #d33682; } .violet { color: #6c71c4; } .blue { color: #268bd2; } .cyan { color: #2aa198; } .green { color: #859900; } #files { list-style-type: none; margin: 0; padding: 0; } #files > li { padding: 0.5em; } #files > li.current { font-weight: bold; background-color: #2aa198; }