/* An empty theme served by default */