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