/* Base theme is already dark. This tracked file keeps the dark theme
   available in environments where empty directories are not deployed. */