Modification of the Github Minimal theme