Diffusion afp-devel 080b665e6ae3

added theory navbar;
080b665e6ae3
Actions

Tags

None

Subscribers

None

Description

added theory navbar;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rAFP2bcb6698a17e: tuned formatting;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP080b665e6ae3: added theory navbar;.Dec 13 2021, 1:50 PM

Changes (12)

Path

Size

layouts/

partials/

theory-navigation.html

theories/

rAFP080b665e6ae3

admin/site/themes/afp/layouts/partials/head.html

Loading...

admin/site/themes/afp/layouts/partials/theory-navigation.html

Loading...

admin/site/themes/afp/layouts/theories/single.html

Loading...

admin/site/themes/afp/static/js/scroll-spy.js

Loading...

admin/site/themes/afp/static/js/theory.js

Loading...

admin/site/themes/afp/static/js/util.js

Loading...