commit | 977c38c3399e58e1e1c03048c90f37646670d894 | [log] [tgz] |
---|---|---|
author | Alex Turbov <i.zaufi@gmail.com> | Tue Nov 08 05:18:19 2022 +0400 |
committer | Brad King <brad.king@kitware.com> | Tue Nov 08 09:53:20 2022 -0500 |
tree | 147e662a69763dcccdbb955f1099c6039f5cc39a | |
parent | c30cd5fef1ccd6afd4201b92f49c1618765032aa [diff] |
Help: Render guide links as normal text instead of monospace The guide document names are phrases, not code-like man-page names. Add CSS selectors for `:guide:` links and revert unnecessary properties.