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