Gildas 8a6e49a102 fix HTML 4 years ago
..
bg fc8e0582a6 add option "block mixed content" (see #804) 4 years ago
common 7020e4b726 replace document.body (might be undefined) 4 years ago
content d64ca4fae1 update styles 4 years ago
pages 8a6e49a102 fix HTML 4 years ago
resources fd9dbfc0c3 add print button in the annotation editor 5 years ago