Allow custom font size

[el-analista]

Problem

Currently font size is not customizable which makes appearance to be bigger than the rest when actually as this being an extension we would like to have smaller font size

As it can be seen prompt font size is way bigger than main code window, suggestions is the tiniest and response is same as code window(would like to have smaller)

[dogusata]

MynahUI does allow custom font sizes. See theming documentation

Adding

:root {
    font-size: ??px/rem/em...;
}

to the place MynahUI consumed is sufficient. MynahUI adjusts the text size depending on the root font-size. So even without touching the mynahui's custom properties it is possible to adjust the size.