I am having no success trying to match the gutter linenumber font size with the python content. I have found earlier posts that suggest that this is best managed in the codemirror.css file. I have tried this, but without success. (using codemirror.css in the lib subdirectory). Needless to say, css is not my strong point.
ie. 'font-size' added
/* Set height, width, borders, and global font properties here */
I also tried adding 'font-size' to CodeMirror-linenumber - without success
padding: 0 3px 0 5px;
An example of the result is:
As you can see, linenumbers do not align with the python statements.
What am I missing?