height-readjustment.

apparently, the navbar height faltered in documents with doctype set.