diff options
| author | Ian Lewis <ianlewis@google.com> | 2021-03-24 17:54:45 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-03-24 17:56:40 -0700 |
| commit | e4772bd84512c03ca431701dc139e126a885abd4 (patch) | |
| tree | 2c9aca575d936f3506aac5da9ea21cecad83fb52 /pkg/sentry/devices/memdev | |
| parent | e7ca2a51a89a8ff2c9f5adfdfa5b51be1b3faeb3 (diff) | |
Fix highlighting sidebar menu on the website
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
Diffstat (limited to 'pkg/sentry/devices/memdev')
0 files changed, 0 insertions, 0 deletions