If I change the editor code size in vscode, the pprint text line hight in Portal does not scale. I see the font setting here. https://github.com/djblue/portal/blob/ba8cee1574e5d29d2daeb22f666b5db7ec0ee9f3/src/portal/colors.cljc#L90 Can i add more css? What is the best way to update theme from userland?
I'm also interested in modifying the theme from userland. I cmd-F this Slack channel and found some discussion on a set-theme API, but don't think that has been implemented
For the pprint issue, I think it's just bad css. I removed it here https://github.com/djblue/portal/commit/7a8d112c4334be4ccef53b272e65c8e7dcb57b33 👍
@felipecortezfi What kind of theme API would you want?
anything that lets me set up my own colors. my emacs is pretty much black on white so it's a bit hard to adjust to the contrast on the light themes for portal