mirror of
https://github.com/nix-community/home-manager.git
synced 2025-12-15 05:21:06 +01:00
deploy: 7db6291d95
This commit is contained in:
parent
fda2b782e8
commit
6bf6c82698
47 changed files with 73598 additions and 15179 deletions
6
highlightjs/loader.js
Normal file
6
highlightjs/loader.js
Normal file
|
|
@ -0,0 +1,6 @@
|
|||
/* This file is NOT part of highlight.js */
|
||||
document.addEventListener('DOMContentLoaded', (event) => {
|
||||
document.querySelectorAll('.programlisting, .screen').forEach((element) => {
|
||||
hljs.highlightElement(element);
|
||||
});
|
||||
});
|
||||
Loading…
Add table
Add a link
Reference in a new issue