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