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