Browse Source

improved icons for 4K monitors

Former-commit-id: 6dbbf5f049b08902d24d2e126172b449c46ffc3b
Gildas 5 years ago
parent
commit
94ebf3370c

+ 2 - 0
extension/ui/pages/editor.css

@@ -31,6 +31,8 @@ img[type=button] {
     padding: 4px;
     margin-right: 2px;
     border-radius: 4px;
+    max-width: 24px;
+    max-height: 24px;
 }
 
 img[type=button]:hover {

BIN
extension/ui/resources/button_cut.png


BIN
extension/ui/resources/button_download.png


BIN
extension/ui/resources/button_highlighter_blue.png


BIN
extension/ui/resources/button_highlighter_delete.png


BIN
extension/ui/resources/button_highlighter_green.png


BIN
extension/ui/resources/button_highlighter_hidden.png


BIN
extension/ui/resources/button_highlighter_pink.png


BIN
extension/ui/resources/button_highlighter_visible.png


BIN
extension/ui/resources/button_highlighter_yellow.png


BIN
extension/ui/resources/button_note_blue.png


BIN
extension/ui/resources/button_note_edit.png


BIN
extension/ui/resources/button_note_format.png


BIN
extension/ui/resources/button_note_green.png


BIN
extension/ui/resources/button_note_hidden.png


BIN
extension/ui/resources/button_note_pink.png


BIN
extension/ui/resources/button_note_visible.png


BIN
extension/ui/resources/button_note_yellow.png


BIN
extension/ui/resources/button_undo_all_cut.png


BIN
extension/ui/resources/button_undo_cut.png