-body.learning blockquote, body.learning .smallexample { border-color: #00ff00; }
-body.notation blockquote, body.notation .smallexample { border-color: #0095ff; }
-body.usage blockquote, body.usage .smallexample { border-color: #ffff00; }
-body.extending blockquote, body.extending .smallexample { border-color: #ff0000; }
-body.internals blockquote, body.internals .smallexample { border-color: #aa00ff; }
-body.contributor blockquote, body.contributor .smallexample { border-color: #000000; }
-