[wip] update theme to get anchored headings
authorAmin Bandali <amin@gnu.org>
Tue, 4 Sep 2018 22:20:54 +0000 (18:20 -0400)
committerAmin Bandali <amin@gnu.org>
Tue, 4 Sep 2018 22:20:54 +0000 (18:20 -0400)

No differences found