html,body{font-family:Roboto,Noto Sans,DejaVu Sans,Liberation Sans,Segoe UI,Arial,Helvetica,sans-serif;padding:0;margin:0}.cm-editor,.cm-content{font-family:Roboto,Noto Sans,DejaVu Sans,Liberation Sans,Segoe UI,Arial,Helvetica,Noto Sans Symbols,"Noto Sans Symbols 2","Noto Color Emoji",Unifont,sans-serif}.cm-fix-separator{font-family:Noto Sans Symbols,"Noto Sans Symbols 2",DejaVu Sans,Unifont,Roboto,sans-serif;opacity:.85}.standard-button-height{min-height:35px}.standard-toggle-group-height{height:35px}