kate: indent-width 4; space-indent on;