Gildas ef072614d4 update help page 4 years ago
..
editor-frame-web.css a7b56631f7 override selection colors with highlight colors 5 years ago
editor-mask-web.css de7e5635fc apply transition only on background-color 5 years ago
editor-note-web.css aa448e5592 use hi-def icons 5 years ago
editor.css 533d350820 remove obsolete rule 5 years ago
editor.html 4a9d955789 add meta[name=color-scheme] tag 4 years ago
help.css c1c2cda05f fixed visibility of icons (see #506) 5 years ago
help.html ef072614d4 update help page 4 years ago
options.css 6f8dccbde7 add some padding-right 4 years ago
options.html e7c0754188 add option "auto-save on tab discard" (cf #703) 4 years ago
panel.css 6d45bda634 fixed translations 6 years ago
panel.html 4a9d955789 add meta[name=color-scheme] tag 4 years ago
pendings.css 31c6044ea7 fixed alignment issue 5 years ago
pendings.html 4a9d955789 add meta[name=color-scheme] tag 4 years ago