| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
| |
* Proposed fix for issue #7898 - Internal search engine produce ".html" pages instead of using HTML_FILE_EXTENSION
* Applied albert-github suggestions to proposed fix for issue #7898
|
| |
|
|
|
|
|
|
|
|
| |
* Use SVG images for search bar icons
* Update search bar CSS for high resolution displays
Uses CSS shadows instead of PNG images of shadows
* Limit the main-menu CSS rule to first level list
#main-menu li:last-child applies to last childs of sub-lists as well
#main-menu > li:last-child only applies to the top-level list
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Marking the resulting JS in this way ensures that visitors to the
resulting HTML documentation do not have to choose between running
non-free JS and experiencing the HTML documentation as it was
intended.
The JS was already freely licensed, so this change just
ensures that the appropriate labelling occurs so that GNU LibreJS [0]
parses the JS correctly as freely licensed.
[0] https://www.gnu.org/software/librejs/
Signed-off-by: zachwick <zach@zachwick.com>
|
|
|
compiler & manager
|
