[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)
commitb119eb6b5e5f59a70b4a17249f7955252e67a71f
tree8a24776aed85686172f86cb0891acea6bde6d392
parent345fdf43b90c9662304f370707936fb4bf30efad
[wip] update theme to get anchored headings
themes/divine