day_night allows the reader to toggle light and dark color themes for the website.
If you look at the top navigation bar on the right you should spot an icon
with either a moon (to switch to a dark theme) or a sun (to switch to a light
search allows to search the website using keywords such as minicps or
rearby. This functionality is accessed by clicking the magnifying glass icon
close to the theme switch icon or by using
Esc disables it. Currently, this functionality can be supported
using built-in Fuse (client-side) or Agolia (server-side). I’m using the first
If you are browsing from a mobile device the icons can be found by tapping the global menu icon.