There’s currently no way to style the docpane. IIRC it just reuses your editor font size though, so changing that should do the trick. We could probably do better here, so feel free to open an issue.
There’s currently no way to style the docpane. IIRC it just reuses your editor font size though, so changing that should do the trick. We could probably do better here, so feel free to open an issue.