; }
			pre.example-js, pre.example-js:before { border: 1px solid #c9c; }
			pre.example-js:before { color: #996; content: "Example JavaScript"; width: 13em; }

			/* our syntax menu for switching */
			div.syntaxmenu {
				border: 1px dotted black;
				padding:0.5em;
				margin: 1em; 
			}

			@media print {
				div.syntaxmenu { display:none; }
			}
		</style>
	</head>
	<body>

		<section id="abstract">
			<p>
				This document defines a JavaScript-based extension mechanism for the Shapes Constraint Languag