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