/* Palette recovered from the original restaurant stylesheet. */
a.menu { color: #967845; }
a.menu:hover { color: #d3c79d; }