/*
 * DEPRECATED! DO NOT USE! WILL BE REMOVED IN THE FUTURE!
 *
 * This file is included after main.css and by default empty.
 * Part of the previous customization mechanism.
 */