e4772bd845
Highlighting previously highlighted multiple items in the sidebar if the had the same page name (not full url). This change simplifies this by adding the highlight class in the jekyll template rather than javascript, and highlights only the correct page. PiperOrigin-RevId: 364931350 |
||
---|---|---|
.. | ||
byline.html | ||
footer-links.html | ||
footer.html | ||
graph.html | ||
header-links.html | ||
header.html | ||
paginator.html | ||
required_linux.html |