Slight border tweak in Courant navigation.