This allows customisation of the behaviour of the front-end in regards to indent styles and indent sizes, among other options.
