<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* 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; }
*/

 </pre></body></html>