Ah that makes total sense! Thank you sir :) Would be nice if the community could share themes with others. I am definitely going to make a beautiful one. But I might make a new conversation for that when I am done. On Sunday, 21 March 2021 at 21:23:46 UTC+1 John Chen wrote:
> The easiest thing could be to export a standalone NetLogo Web page and > modify the stylesheet there. > > The NLW editor is based on CodeMirror 5, and you can override the > stylesheet to achieve what you want. > > Stan van der Bend <stanv...@gmail.com> 于2021年3月21日周日 下午3:21写道: > >> Thanks for the quick response. Does this require me to clone this >> repository: https://github.com/NetLogo/Galapagos and edit the style file >> from there. Or can I simply modify the stylesheet without having to build >> the application myself? If I do have to build it myself, could you point me >> to some resources on how to set it up (I could not find any clear >> instructions in the readme or wiki pages of the netlogo repo.. I am not >> familiar with scala nor groovy (though I am familiar with >> Java/Gradle/Maven/Kotlin). >> >> Thanks again. >> On Sunday, 21 March 2021 at 21:08:03 UTC+1 John Chen wrote: >> >>> If you are using NetLogo Web, it is configurable. >>> >>> John Chen >>> >>> Stan van der Bend <stanv...@gmail.com> 于2021年3月21日周日 下午3:06写道: >>> >>>> Hello, is it possible to modify the styling of the code-editor, e.g. >>>> through css? >>>> I work a lot at night times and the whiteness of the UI messes with my >>>> eyes. >>>> >>>> -- >>>> You received this message because you are subscribed to the Google >>>> Groups "netlogo-devel" group. >>>> To unsubscribe from this group and stop receiving emails from it, send >>>> an email to netlogo-deve...@googlegroups.com. >>>> To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/netlogo-devel/0ed1b455-1f32-49bf-b35f-221ac5403111n%40googlegroups.com >>>> >>>> <https://groups.google.com/d/msgid/netlogo-devel/0ed1b455-1f32-49bf-b35f-221ac5403111n%40googlegroups.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>> -- >> You received this message because you are subscribed to the Google Groups >> "netlogo-devel" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to netlogo-deve...@googlegroups.com. >> > To view this discussion on the web visit >> https://groups.google.com/d/msgid/netlogo-devel/1d621310-1e0b-4b8f-b613-7cfe95c71c09n%40googlegroups.com >> >> <https://groups.google.com/d/msgid/netlogo-devel/1d621310-1e0b-4b8f-b613-7cfe95c71c09n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- You received this message because you are subscribed to the Google Groups "netlogo-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to netlogo-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/netlogo-devel/d9f10c3d-7094-438a-a2a0-279eeb58dae2n%40googlegroups.com.