/* User-defined CSS */
    .example { border-style: dotted !important }