The theme development kit for Pasls