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-devel+unsubscr...@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.
