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}