xampp (というか，phpMyAdminだろうな) のバージョンによって，直すべきファイルが違うらしい．今回の場合には ${XAMPP}/phpMyAdmin//js/codemirror/lib/codemirror.css だった．この，
.CodeMirror preのところに，

  font-family: inherit;
  font-size: inherit;  

という指定があるので，

  font-family: Myrica M;
  font-size: 16px;

と書き直した．なお，.CodeMirror pre の指定自体が2箇所あった．

keyword: フォントサイズ fontsize font size