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