Instead of checking RT flag at compile time, adjust at run time

services/web/app/views/project/editor/editor.pug

@@ -39,6 +39,7 @@ div.full-size(
 			ace-editor="editor",
 			ng-if="!editor.richText",
 			ng-show="!!editor.sharejs_doc && !editor.opening",
+			style=showRichText ? "top: 40px" : "",
 			theme="settings.theme",
 			keybindings="settings.mode",
 			font-size="settings.fontSize",

services/web/public/stylesheets/app/editor.less

@@ -80,10 +80,7 @@
 	.full-size;
 }
 
-#editor when (@show-rich-text = true) {
-	top: 40px; // TODO: replace with toolbar height var
-}
-#editor-rich-text when (@show-rich-text = true) {
+#editor-rich-text {
 	top: 40px; // TODO: replace with toolbar height var
 }