>>10238
I took a trip to >>>/css/ and somewhat bruteforced it:
>ctrl+shift+I
>copy all info in the style editor
>open new style on css manager plugin
change total fontsize scale, like so:

/* import resources here; external CSS, fonts, etc */

/* body styles, inherited by whole page */
body {
    color: #000;
    background: #EEF2FF url("/.static/fade-blue.png") repeat-x scroll 50% 0%;
    font-family: arial, helvetica, sans;
    font-size: 125%;
    margin: 0px;
}