/* EXAMPLES */

h3 { margin-left: 22px; }

a.title { font-weight: bold; text-decoration: none; color: black; }
a.title:hover { text-decoration: underline; }

pre { font-family: Courier, monospace; color: #4682b4; }

/*
.source,.JavaScript,.output { border: thin solid black; }
*/