Settings

You may customize this site, at least in theory. The reality however is, right now this page serves as a placeholder for changes to come.

Here is a list of things that are planned in an upcoming version of this site.

  • Style Toggle: CSS is an enhancement anyway.
  • Monochrome Mode: Colors are an enhancement anyway.
  • Dark Mode: Enjoy this site in a low-light environment.
  • Syntax Highlighting Theme Switcher: As discussed in “Ask the User”.

Disclaimer

This site works just fine without scripts. (JavaScript is an enhancement anyway.) But this page has to make an exception, because your preferences will be stored locally in your browser, something that is not possible without having JavaScript turned on. The warning message below is issued to indicate this simple fact.

Did you see the warning? If not, then your web browser has JavaScript enabled.