Initial commit

doc/help_files/W3C-WD.css

@@ -0,0 +1,119 @@
+
+/* Style for a public "Working Draft" */
+
+/*
+   Copyright 1997-2003 W3C (MIT, ERCIM, Keio). All Rights Reserved.
+   The following software licensing rules apply:
+   http://www.w3.org/Consortium/Legal/copyright-software */
+
+/* $Id: base.css,v 1.25 2006/04/18 08:42:53 bbos Exp $ */
+
+body {
+  padding: 2em 1em 2em 70px;
+  margin: 0;
+  font-family: sans-serif;
+  color: black;
+  background: white;
+  background-position: top left;
+  background-attachment: fixed;
+  background-repeat: no-repeat;
+}
+:link { color: #00C; background: transparent }
+:visited { color: #609; background: transparent }
+a:active { color: #C00; background: transparent }
+
+a:link img, a:visited img { border-style: none } /* no border on img links */
+
+a img { color: white; }        /* trick to hide the border in Netscape 4 */
+@media all {                   /* hide the next rule from Netscape 4 */
+  a img { color: inherit; }    /* undo the color change above */
+}
+
+th, td { /* ns 4 */
+  font-family: sans-serif;
+}
+
+h1, h2, h3, h4, h5, h6 { text-align: left }
+/* background should be transparent, but WebTV has a bug */
+h1, h2, h3 { color: #005A9C; background: white }
+h1 { font: 170% sans-serif }
+h2 { font: 140% sans-serif }
+h3 { font: 120% sans-serif }
+h4 { font: bold 100% sans-serif }
+h5 { font: italic 100% sans-serif }
+h6 { font: small-caps 100% sans-serif }
+
+.hide { display: none }
+
+div.head { margin-bottom: 1em }
+div.head h1 { margin-top: 2em; clear: both }
+div.head table { margin-left: 2em; margin-top: 2em }
+
+p.copyright { font-size: small }
+p.copyright small { font-size: small }
+
+@media screen {  /* hide from IE3 */
+a[href]:hover { background: #ffa }
+}
+
+pre { margin-left: 2em }
+/*
+p {
+  margin-top: 0.6em;
+  margin-bottom: 0.6em;
+}
+*/
+dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
+dt { font-weight: bold }
+
+pre, code { font-family: monospace } /* navigator 4 requires this */
+
+ul.toc, ol.toc {
+  list-style: disc;		/* Mac NS has problem with 'none' */
+  list-style: none;
+}
+
+@media aural {  
+  h1, h2, h3 { stress: 20; richness: 90 }
+  .hide { speak: none }
+  p.copyright { volume: x-soft; speech-rate: x-fast }
+  dt { pause-before: 20% }
+  pre { speak-punctuation: code } 
+}
+
+
+
+body {
+  background-image: url(http://www.w3.org/StyleSheets/TR/logo-WD);
+}
+
+/******************************************************************
+ * MikeSmith (2008-06-07)
+ * Because our current online HTML diff tool[1] doesn't output
+ * colored diffs, I the following rules for .diff-* classes so
+ * I can get colored output in HTML diffs for Editor's Drafts.
+ * [1] http://www.w3.org/2007/10/htmldiff
+ ******************************************************************/
+.diff-new {
+  background-color: yellow;
+}
+.diff-chg {
+  background-color: lime;
+}
+.diff-new:before,
+.diff-new:after {
+  content: "\2191";
+}
+.diff-chg:before,
+.diff-chg:after {
+  content: "\2195";
+}
+.diff-old {
+  text-decoration: line-through;
+  background-color: #FBB;
+}
+.diff-old:before,
+.diff-old:after {
+  content: "\2193";
+}
+/* end MikeSmith (2008-06-07) additions */

doc/help_files/spec.css

@@ -0,0 +1,76 @@
+H4 {
+  text-align: left;
+  font-family: sans-serif;
+  font-weight: normal;
+  color: #0050B2; 
+}
+.idl-code { 
+	font-family: monospace;
+	border: 1px solid black;
+	white-space: pre; 
+	color: black;
+	background-color: #dfdfdf; 
+}
+.java-code { 
+	font-family: monospace;
+	border: 1px solid black;
+	white-space: pre; 
+	color: black;
+	background-color: #dfdfdf; 
+}
+
+
+.code-block { 
+	font-family: monospace;
+	border: 1px solid black;
+	white-space: pre; 
+	color: black;
+	background-color: #dfdfdf; 
+}
+
+
+.ecma-block { 
+	border: 1px solid black;
+	color: black;
+	background-color: #dfdfdf; 
+}
+
+
+.interface-name {
+        font-weight: bold
+}
+
+
+.attribute-name {  
+        color: black;
+        background-color: #FFFFD2;
+}
+
+.constant-name {
+        color: black;
+        background-color: #DDFFD2;
+}
+
+.method-name {  
+        color: black;
+        background-color: #D9E6F8;
+}
+
+.parameter-name {
+        color: black;
+        background-color: #FEE6F8; 
+}
+
+UL.toc, OL.toc {list-style: none}
+DIV.toc UL UL, DIV.toc OL OL {margin-left: 0}
+DIV.toc UL UL UL, DIV.toc OL OL OL {margin-left: 1em}
+DIV.toc UL UL UL UL, DIV.toc OL OL OL OL {margin-left: 0}
+LI.tocline1 {font-weight: bold}
+LI.tocline2 {font-weight: normal}
+LI.tocline4 {font-style: italic}
+
+code { font-family: monospace }
+
+div.paramtable { margin-left: 1em }
+div.returntable { margin-left: 1em }
+div.exceptiontable { margin-left: 1em }