On Sun, Jul 9, 2017 at 11:17 PM, Daniel Gustafsson <daniel@yesql.se> wrote:
63641a45-36fc-a8d2-69e4-e150cfbfa032@2ndquadrant.com made me realize that we highlight the currently active docs version with bold text, except for "current (<version>)” which is left un-decorated. The attached patch sets the same highlight on the current version, since it seems like an oversight to me.