bootstrap prettify theme link reverted to older