modify typeocaml theme