Make the theme compatible with the indentLine plugin (fucking hack)