/* @option user-defined navigation font size */
.menu { font-size: 11px;font-size: 1.1rem; }