theme: slate+*machine input
theme: slate