Switch to modern5 theme

The minimal5 theme doesn't style inline literals well