It is my setting making it small. Sorry for that. You can recover it by removing the following setting in the css:
/* Changing size/color of the header hashtags ## */
.cm-formatting-header {
font-size: 0.6em !important;
}
1 Like