/* Maintain CSS on a Wikidot page so we can preserve history */
@import url(/admin:themes/code/1);