Use light color for doc navbar
Accept long integers for constants