/*
   We do not use this custom theme editor.
   Custom themes are in the admin:themes page.
   See that page for examples and instructions.
  */
@import url(/admin:themes/code/1);