((pre (code (@ (class . "language-css")) "/* User-defined CSS */\n.example { border-style: dotted !important }")))