Maximilian Krög f5a996a64e Highlight current anchor with css instead of js. ...

The `:target` selector is supported by all browsers.

2020-02-21 22:50:57 +01:00

..

prettify

Rename buildcfg to config

2014-08-22 07:28:05 -06:00

bootstrap.min.js

Rename buildcfg to config

2014-08-22 07:28:05 -06:00

jquery.min.js

Rename buildcfg to config

2014-08-22 07:28:05 -06:00

jquery.min.map

Rename buildcfg to config

2014-08-22 07:28:05 -06:00

linenumber.js

Rename buildcfg to config

2014-08-22 07:28:05 -06:00

main.js

Highlight current anchor with css instead of js.

2020-02-21 22:50:57 +01:00