-
Reloading stylesheets after updates: If the website looks odd or glitchy and you've visited sometime before, chances are that I updated this site and it's stylesheets, but your browser holds onto it's old copy
("cache") of the stylesheets. In that case, you need to do a hard refresh by... - ...holding ⎈ CTRL while reloading on PC
- ...long-pressing the page reload button on mobile
(at least in Firefox-based browsers – opening javascript:location.reload(true)as a link might work as well. If all else fails, deleting your entire cache in your browser settings is also an option) -
Hovercards: "Hovercards" are my version of big tooltips as well as foot- or margin-notes. When you hover your mouse cursor over
(or, if you're on a phone, tap on) markered text like this one right here This is a hovercard!
You can hover over hovercards and interact with text in it as normal, such as selecting text, clicking on links or
reading through more hovercards Quite magical, isn't it? . - If you're on a phone and an element is both a link and has a hovercard, try pressing/holding down on them, and then dismissing the "what do you want to do with this link" popup to read the hovercard's contents
-
Dark/Light Theme: If JavaScript is enabled, there should be a faintly visible icon
(either a sun or a moon with a star) in the bottom right of most pages. Pressing it will switch between the and color scheme of the current theme. Alternatively, pressing the wavy text in the previous sentence works as well.
