/* @option user-selected navigation font face */

.navStream {
	font-family: 'Palatino Linotype', 'Book Antiqua', Palatino, serif;
}