Opmerking: na het publiceren is het wellicht nodig uw browsercache te legen om de veranderingen te zien.

  • Firefox / Safari: houd Shift ingedrukt terwijl u:je op Vernieuwen klikt of druk op Ctrl-F5 of Ctrl-R (⌘-Shift-R op een Mac)
  • Google Chrome: druk op Ctrl-Shift-R (⌘-Shift-R op een Mac)
  • Edge: houd Ctrl ingedrukt terwijl u:je op Vernieuwen klikt of druk op Ctrl-F5.
.searchbox {display:none;}

<!-- duidelijker gemarkeerde wijzigingen -->
td.diff-addedline {border-color:#b32424 !important;}
td.diff-deletedline {border-color:#b32424 !important;}
ins {background-color:#008800 !important; color:#FFFFFF !important;}
del {background-color:#AA0000 !important; color:#FFFFFF !important;}