Gildas ede66962b3 created separated entry for "Fonts" in the options page vor 7 Jahren
..
doc-helper.js ede66962b3 created separated entry for "Fonts" in the options page vor 7 Jahren
timeout.js d0e8a50e59 set step back to 100ms vor 7 Jahren