mini-theme (racket): A minimal DrRacket theme
Keywords: drracket-theme