Gildas 6f8dccbde7 add some padding-right hace 5 años
..
editor-frame-web.css a7b56631f7 override selection colors with highlight colors hace 5 años
editor-mask-web.css de7e5635fc apply transition only on background-color hace 5 años
editor-note-web.css aa448e5592 use hi-def icons hace 5 años
editor.css 533d350820 remove obsolete rule hace 5 años
editor.html a62888a2a9 move file hace 5 años
help.css c1c2cda05f fixed visibility of icons (see #506) hace 5 años
help.html 592a798ed5 add variables tio get the vist date and dates in ms (see #608) hace 5 años
options.css 6f8dccbde7 add some padding-right hace 5 años
options.html 6b9b6df022 use ES6 modules in the extension code hace 5 años
panel.css 6d45bda634 fixed translations hace 6 años
panel.html 6b9b6df022 use ES6 modules in the extension code hace 5 años
pendings.css 31c6044ea7 fixed alignment issue hace 6 años
pendings.html 6b9b6df022 use ES6 modules in the extension code hace 5 años