SRB2 2.1.12 release

doc/manual/manual.htm

@@ -13,7 +13,7 @@
 		doc = doc || document;
 		// from http://stackoverflow.com/questions/1145850/get-height-of-entire-document-with-javascript
 		var body = doc.body, html = doc.documentElement;
-		var height = Math.max( body.scrollHeight, body.offsetHeight, 
+		var height = Math.max( body.scrollHeight, body.offsetHeight,
 			html.clientHeight, html.scrollHeight, html.offsetHeight );
 		return height;
 }
@@ -65,4 +65,4 @@
 		<iframe id="ifrm" name="ifrm" src="intro.htm" onload="setIframeHeight(this.id)"> </iframe>
 	</p>
 </body>
-</html>
+</html>
\ No newline at end of file