diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-01-19 15:41:59 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-01-19 15:43:25 +0100 |
commit | fa580bf3b456273ebbbba20b3f4de1afdac3d031 (patch) | |
tree | fe93d55dbf7a24ed44b75c7bdd0f775b7cb27f41 /gnu | |
parent | 2c9787086a9b0e1ab3b63e304f778c5d46dce0e6 (diff) | |
download | guix-patches-fa580bf3b456273ebbbba20b3f4de1afdac3d031.tar guix-patches-fa580bf3b456273ebbbba20b3f4de1afdac3d031.tar.gz |
doc: Make the HTML language menu disappear on narrow screens.base-for-series-11028
* doc/build.scm (stylized-html)[build](navigation-bar): New procedure.
(stylized-html): Use it.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions