0a10eae61d
This update fixes the custom CSS to make the `$` character non-selectable in highlighted code blocks. |
||
---|---|---|
.. | ||
manual | ||
release-notes | ||
default.nix | ||
home-configuration-nix-footer.5 | ||
home-configuration-nix-header.5 | ||
home-manager-manual.nix | ||
home-manager.1 | ||
html-open-tool.nix |