#editor_console,#editor_main{font-family:FreeMono-lean,DejaVuSansMono-lean,Monaco,Menlo,'Ubuntu Mono','Arial Unicode MS',Consolas,source-code-pro,monospace;font-size:20px;bottom:0;right:0}#button_container,#editor_console,#editor_main{top:0;left:0;position:absolute}*{margin:0;padding:0}body,html{height:100%;overflow-y:hidden;text-align:left}#editor_main{overflow-y:auto}#menu_bar{font-size:15px;color:#ccc;background:#333;height:40px}#button_container{z-index:1;float:left;display:flex}.button{float:left;margin-right:5px;width:35px}#new-button,#username{margin-right:10px}.menu_icon{width:35px;height:35px;margin-top:2px;cursor:pointer;fill:#fff;stroke:#fff}.menu_icon:hover{fill:#ffc52c;stroke:#000}#lean_logo{padding-left:0;margin-right:20px;float:left;margin-left:2px;margin-top:2px;height:36px}#username{margin-top:12px;margin-left:10px}#resizable_console,#resizable_main{position:absolute;border:0}#console-button{margin-left:5px;margin-right:13px}div#tutorial_contents td,div#tutorial_contents th{padding-left:15px;padding-right:15px}