@ Layouts: some UI changes
@ modules/opsModule/models/aceEditorOptions.php: default theme changed to `github`