• Raymond Toy's avatar
    Fix #20: Highlight navbar item · 86e6dd79
    Raymond Toy authored
    When we're on a particular page, highlight the navbar item to show
    that we're on that page (or subpage).
    
    To do this, when the navbar iframe is loaded from the main frame, a
    query string is passed to the iframe indicating which item to
    highlight.  The navbar iframe looks at the query string and finds the
    entry in the list and highlights that entry.
    
    Currently, highlighting just means make the item bold with a slightly
    larger font.
    86e6dd79
Name
Last commit
Last update
cmucl-www Loading commit data...
docs Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
README.md Loading commit data...
build-texinfo.sh Loading commit data...