mirror of
https://github.com/jquery/jquery-ui.git
synced 2024-12-07 06:14:24 +00:00
c5b215e319
Makes it look like a navigation menu that can't be navigated, at least better than the random city names we had before. Ref #11641 |
||
---|---|---|
.. | ||
categories.html | ||
default.html | ||
icons.html | ||
index.html |