I checked 8Theme Options-Styling-User CSS-Global User CSS and find at line 44 this:
.menu-wrapper .menu > li > a {
font-size: 13px!important;
margin: 0 1.7em;
}
this “!important” blocked changing the navigation text size
I didn’t write any code there btw. It was by default