Skip to content

Commit ecccf54

Browse files
dirkschulzesvgeesus
authored andcommitted
Add proposal for Matrix interface
1 parent a6b6f51 commit ecccf54

15 files changed

Lines changed: 23549 additions & 0 deletions

matrix/biblio.js

Lines changed: 8288 additions & 0 deletions
Large diffs are not rendered by default.

matrix/index.html

Lines changed: 884 additions & 0 deletions
Large diffs are not rendered by default.

matrix/matrix.css

Lines changed: 240 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,240 @@
1+
/* vim: set expandtab ts=2 sw=2 tw=80: */
2+
3+
/*
4+
* Figures
5+
*/
6+
body {
7+
counter-reset: exampleno figure issue;
8+
max-width: 50em;
9+
margin: 0 auto !important;
10+
}
11+
div.figure {
12+
margin: 2.5em 0;
13+
text-align: center;
14+
page-break-inside: avoid;
15+
}
16+
div.figure img {
17+
display: block;
18+
margin: auto;
19+
max-width: 100%;
20+
}
21+
img {
22+
border-style: none;
23+
}
24+
div.figure {
25+
text-align: center;
26+
}
27+
p.caption:before {
28+
content: "Figure " counter(figure, decimal) ". ";
29+
}
30+
p.caption {
31+
counter-increment: figure;
32+
font-style: italic;
33+
text-align: center;
34+
}
35+
p, div.note, div.issue {
36+
margin: initial;
37+
margin-top: 1em;
38+
margin-bottom: 1em;
39+
}
40+
dd > p:first-child, li > p:first-child, .note > p:first-child, .issue > p:first-child {
41+
margin-top: 0
42+
}
43+
.issue, .note, div.example, pre.example {
44+
padding: inital;
45+
margin: initial;
46+
padding: .5em;
47+
border: initial;
48+
/* padding: .5rem; /* proposed unit in css3-values */
49+
border-left-width: .5em;
50+
/* border-left-width: .5rem; /* proposed unit in css3-values */
51+
border-left-style: solid;
52+
}
53+
span.note, span.issue { padding: .1em .5em .15em; }
54+
55+
.issue {
56+
border-color: #E05252;
57+
background: #FBE9E9;
58+
counter-increment: issue;
59+
}
60+
61+
.issue::before {
62+
display: initial;
63+
width: initial;
64+
border: initial;
65+
background: initial;
66+
padding: initial;
67+
content: "Issue " counter(issue);
68+
padding-right: 1em;
69+
text-transform: uppercase;
70+
color: #E05252;
71+
}
72+
73+
/*
74+
* Feedback wanted
75+
*/
76+
div.feedbackWanted:before, p.feedbackWanted:before {
77+
display: block;
78+
content: "Feedback wanted";
79+
background: white;
80+
border: 1px solid #F88;
81+
font-weight: bold;
82+
margin: -1.5em 0 0.5em;
83+
padding: 3px 1em;
84+
width: 150px;
85+
}
86+
div.feedbackWanted, p.feedbackWanted {
87+
display: block;
88+
background: #FEE;
89+
margin: 1em 0 0;
90+
padding: 1em;
91+
}
92+
93+
/*
94+
* todo
95+
*/
96+
div.todo:before, p.todo:before {
97+
display: block;
98+
content: "TODO";
99+
background: white;
100+
border: 1px solid #F90;
101+
font-weight: bold;
102+
margin: -1.5em 0 0.5em;
103+
padding: 3px 1em;
104+
width: 80px;
105+
}
106+
div.todo, p.todo, li.todo {
107+
background: #FFD;
108+
margin: 1em 0 0;
109+
padding: 1em;
110+
}
111+
div.todo {
112+
padding-bottom: 0.2em;
113+
}
114+
span.todo {
115+
background: #FFB;
116+
}
117+
118+
/*
119+
* Annotation
120+
*/
121+
div.annotation:before, p.annotation:before {
122+
display: block;
123+
content: "Annotation";
124+
background: white;
125+
border: 1px solid #A8C;
126+
font-weight: bold;
127+
margin: -1.5em 0 0.5em;
128+
padding: 3px 1em;
129+
width: 150px;
130+
}
131+
div.annotation, p.annotation {
132+
display: block;
133+
background: #EDF;
134+
margin: 1em 0 0;
135+
padding: 1em;
136+
}
137+
138+
/*
139+
* Algorithm display
140+
*/
141+
li {
142+
margin-top: 0.5em;
143+
margin-bottom: 0.5em;
144+
}
145+
dl.switch > dt:before {
146+
content: "\0021aa";
147+
padding-right: 0.3em;
148+
}
149+
dl.switch ol {
150+
padding-left: 1.3em;
151+
}
152+
153+
/*
154+
* On Windows, the bold Arial glyph for right and left arrow is missing the
155+
* stem at some font-sizes so use a different font. This affects Firefox,
156+
* Chrome, and IE.
157+
*/
158+
span.arrow {
159+
font-family: Calibri, sans-serif;
160+
}
161+
162+
/*
163+
* Informative sections
164+
*/
165+
div.informative-bg {
166+
background: #efe;
167+
border: green 1px dotted;
168+
padding: 0 1em 0.5em;
169+
}
170+
div.informative-bg h2,
171+
div.informative-bg h3,
172+
div.informative-bg h4 {
173+
background: none;
174+
}
175+
176+
div.example { page-break-inside: avoid }
177+
/* Examples */
178+
179+
.example {
180+
counter-increment: exampleno;
181+
}
182+
div.example:before {
183+
content: "Example";
184+
content: "Example " counter(exampleno);
185+
min-width: 7.5em;
186+
text-transform: uppercase;
187+
}
188+
pre.example:before {
189+
content: "Example";
190+
content: "Example " counter(exampleno);
191+
min-width: 7.5em;
192+
text-transform: uppercase;
193+
}
194+
div.example, div.illegal-example, div.html, div.illegal-html, div.xml,
195+
div.illegal-xml, pre.example, pre.illegal-example, pre.html,
196+
pre.illegal-html, pre.xml, pre.illegal-xml {
197+
padding: 0.5em;
198+
margin: 1em 0;
199+
position: relative;
200+
clear: both;
201+
}
202+
pre.example, pre.illegal-example, pre.html,
203+
pre.illegal-html, pre.xml, pre.illegal-xml {
204+
padding-top: 1.5em;
205+
}
206+
pre.illegal-example { color: red }
207+
div.illegal-example { color: red }
208+
div.illegal-example p { color: black }
209+
210+
/* Example box */
211+
div.example {
212+
border-color: #E0CB52;
213+
background: #FCFAEE;
214+
}
215+
216+
div.example:before { color: #B9AB2D; }
217+
218+
/*
219+
* Mark javascript examples as such
220+
*/
221+
pre.example.sh_javascript:before {
222+
content: "ECMAScript";
223+
}
224+
225+
/*
226+
* Parameter tables
227+
*/
228+
.parameters td p:first-child {
229+
margin-top: 0;
230+
}
231+
.parameters td p:last-child {
232+
margin-bottom: 0;
233+
}
234+
235+
/*
236+
* Comments
237+
*/
238+
.idlSectionComment {
239+
color: grey;
240+
}

matrix/respec-w3c-common.js

Lines changed: 3 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)