Adjusting theme, options
Using definition env, updating questions