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