/* Skin "prg32" (the default): the colours of the official PRG32 logo, which app.css uses
   already. Nothing to change. */