#2: playing around with the doc theme