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; } a:link { color: #268bd2; } a:visited { color: #6c71c4; } a:hover { color: #859900; } a:active { color: #2aa198; } #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_header { font-weight: bold; text-align: center; flex: 1; } #files_hide { font-weight: bold; width: 100%; right: 0; flex: 0; padding: 0.25em; cursor: pointer; } #files_show { display: none; padding: 0.25em; cursor: pointer; } #filesPane { flex: 1 1 10%; } #filesPane.collapsed { flex: 0; } .collapsed #files_header { display: none; } .collapsed #files_content { display: none; } .collapsed #files_hide { display: none; } .collapsed #files_show { display: block; } #files { list-style-type: none; margin: 0; padding: 0; } #files > li { padding: 0.5em; } #files > li.current { font-weight: bold; background-color: #2aa198; } #files > li.dirty::after { content: '*'; } .tooltip { position: absolute; z-index: 1; display: none; border: 1px solid black; padding: 4px; color: black; background: white; } .tooltip_parent:hover .tooltip { display: inline-block; } kbd { background-color: #eee; border-radius: 3px; border: 1px solid #b4b4b4; box-shadow: 0 1px 1px rgba(0, 0, 0, .2), 0 2px 0 0 rgba(255, 255, 255, .7) inset; color: #333; display: inline-block; font-size: .85em; font-weight: 700; line-height: 1; padding: 2px 4px; white-space: nowrap; } #permissions { visibility: hidden; position: absolute; display: block; top: 0; z-index: 100; display: flex; justify-content: center; width: 100%; } .permissions_contents { background-color: #444; border-left: 4px solid #fff; border-right: 4px solid #fff; border-bottom: 4px solid #fff; padding: 1em; margin: 0 auto; }