$max-editor-width: 800px;
$top-bar-height: 55px;
$bottom-bar-height: 30px;
$editor-font: "iA-Mono", "Menlo";
$ui-font: "Arial";