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