12.css was never used, so remove it
Doc and whitespace cleanup
Cast option as a boolean