borders, highlighting tweaks