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