Lore Beautifier — Header

Rebuilds lore.kernel.org header into a proper flexbox layout

Na nainštalovanie skriptu si budete musieť nainštalovať rozšírenie, ako napríklad Tampermonkey, Greasemonkey alebo Violentmonkey.

Na inštaláciu tohto skriptu je potrebné nainštalovať rozšírenie, ako napríklad Tampermonkey.

Na nainštalovanie skriptu si budete musieť nainštalovať rozšírenie, ako napríklad Tampermonkey, % alebo Violentmonkey.

Na nainštalovanie skriptu si budete musieť nainštalovať rozšírenie, ako napríklad Tampermonkey alebo Userscripts.

Na inštaláciu tohto skriptu je potrebné nainštalovať rozšírenie, ako napríklad Tampermonkey.

Na inštaláciu tohto skriptu je potrebné nainštalovať rozšírenie správcu používateľských skriptov.

(Už mám správcu používateľských skriptov, nechajte ma ho nainštalovať!)

Na inštaláciu tohto štýlu je potrebné nainštalovať rozšírenie, ako napríklad Stylus.

Na inštaláciu tohto štýlu je potrebné nainštalovať rozšírenie, ako napríklad Stylus.

Na inštaláciu tohto štýlu je potrebné nainštalovať rozšírenie, ako napríklad Stylus.

Na inštaláciu tohto štýlu je potrebné nainštalovať rozšírenie správcu používateľských štýlov.

Na inštaláciu tohto štýlu je potrebné nainštalovať rozšírenie správcu používateľských štýlov.

Na inštaláciu tohto štýlu je potrebné nainštalovať rozšírenie správcu používateľských štýlov.

(Už mám správcu používateľských štýlov, nechajte ma ho nainštalovať!)

Autor
goodmartian
Denne inštalácií
0
Celkový počet inštalácií
2
Hodnotenie
0 0 0
Verzia
1.0.0
Vytvorené
17.03.2026
Aktualizované
17.03.2026
Veľkosť
2,9 KB
Licencia
MIT
Spustiť na

This script is the JS half of a two-part setup. It rebuilds the lore.kernel.org header: pulls the search bar and nav links out of the <pre> block and reassembles them as a flexbox row. No styling — DOM only.

For the full experience, install the companion CSS: https://userstyles.world/style/27136/lore-beautifier (requires https://addons.mozilla.org/firefox/addon/styl-us/)

The CSS provides the dark theme, diff highlighting, typography, and responsive layout. The JS provides the proper header structure. Each works independently, but they're designed to be used together.