2005/xpointer-js/dom-style.css

dl.dom-interface-definition {
  display: block;
}

dl.dom-interface-definition dl {
  margin: 0;
  padding: 0;
}

dl.dom-interface-definition dt {
  display: block;
  margin-left: 0;
  padding-left: 0;
  font-weight: bolder;
}

dl.dom-interface-definition dd {
  display: block;
  margin-left: 3em;
  padding-left: 0;
}

.dom-interface-definition dt .DOMa {
  color: black;
  background-color: #FFFFD2;
}
.dom-interface-definition dt .DOM .const {
  color: black;
  background-color: #DDFFD2;
}
.dom-interface-definition dt .DOMm {
  color: black;
  background-color: #D9E6F8;
}
.dom-interface-definition dt .DOMp {
  background-color: #FEE6F8; 
  color: black;
}

.dom-interface-idl-definition pre {
  border: 1px solid black;
  padding: 2em 3em;
  background-color: #dfdfdf;
  color: black;
  white-space: pre;
  font-family: monospace;
}

.dom-interface-definition p:first-child {
  text-indent: 0;
}
1	dl.dom-interface-definition {
2	display: block;
3	}
4
5	dl.dom-interface-definition dl {
6	margin: 0;
7	padding: 0;
8	}
9
10	dl.dom-interface-definition dt {
11	display: block;
12	margin-left: 0;
13	padding-left: 0;
14	font-weight: bolder;
15	}
16
17	dl.dom-interface-definition dd {
18	display: block;
19	margin-left: 3em;
20	padding-left: 0;
21	}
22
23	.dom-interface-definition dt .DOMa {
24	color: black;
25	background-color: #FFFFD2;
26	}
27	.dom-interface-definition dt .DOM .const {
28	color: black;
29	background-color: #DDFFD2;
30	}
31	.dom-interface-definition dt .DOMm {
32	color: black;
33	background-color: #D9E6F8;
34	}
35	.dom-interface-definition dt .DOMp {
36	background-color: #FEE6F8;
37	color: black;
38	}
39
40	.dom-interface-idl-definition pre {
41	border: 1px solid black;
42	padding: 2em 3em;
43	background-color: #dfdfdf;
44	color: black;
45	white-space: pre;
46	font-family: monospace;
47	}
48
49	.dom-interface-definition p:first-child {
50	text-indent: 0;
51	}