/* A saved-word highlight must not change line wrapping or reading position. */
.favoriteMark { padding: 0; }