/* This file is here for backwards compatibility with the Tesseract theme. */