Senén Rodero Rodríguez d7efd748fa Apply jQuery 3.0 upgrade_guide recommendation ...

Use recommented way to define document-ready handlers. See [1]

[1] https://jquery.com/upgrade-guide/3.0/#deprecated-document-ready-handlers-other-than-jquery-function

2020-08-28 16:10:31 +02:00

..

fonts

Remove google plus share button

2020-07-17 16:24:20 +02:00

images

Merge pull request #3512 from consul/backport-stats

2019-05-21 17:18:47 +02:00

javascripts

Apply jQuery 3.0 upgrade_guide recommendation

2020-08-28 16:10:31 +02:00

stylesheets

Override proposal sticky top property when anchored

2020-08-24 19:41:14 +02:00