Gildas 76388717ac added "+" in the list of replaced characters 6 years ago
..
help.css 85ac3cfa84 fixed border styles 6 years ago
help.html 76388717ac added "+" in the list of replaced characters 6 years ago
options.css 6896e5b2b0 better positioning of popups (fix #277) 6 years ago
options.html 5909443455 integration of the annotation editor (fixes #161) 6 years ago