Got SQL highlighting working. Improved the look of admonitions.