Skip to content

Commit d9a4386

Browse files
committed
Add Port OSCDOC HTML
1 parent b732cf8 commit d9a4386

14 files changed

+82308
-0
lines changed

zyn-ports/index.html

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

zyn-ports/res/1pixel.png

159 Bytes
Loading

zyn-ports/res/ObjTree.js

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

zyn-ports/res/aspect_map.xml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
<root>
2+
<aspect_map direction="in" mount_at="/*" uri="http://example.com/fake/" doc_origin="http://example.com/fake/url.xml" xpath=""/>
3+
<aspect_map direction="out" mount_at="/*" uri="http://example.com/fake/" doc_origin="http://example.com/fake/url.xml" xpath=""/>
4+
</root>

zyn-ports/res/aspects_graph.svg

Lines changed: 13 additions & 0 deletions
Loading

zyn-ports/res/aspects_graph_tl.png

621 Bytes
Loading

zyn-ports/res/draft.png

3.85 KB
Loading

zyn-ports/res/jquery-1.11.1.min.js

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

zyn-ports/res/messages_digest.txt

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

zyn-ports/res/oscdoc.css

Lines changed: 191 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,191 @@
1+
h1
2+
{
3+
font-size: 20pt;
4+
color:Navy;
5+
}
6+
7+
h2
8+
{
9+
font-size: 16pt;
10+
color:Navy;
11+
}
12+
13+
h3
14+
{
15+
font: 12pt monospace;
16+
font-weight: bold;
17+
color:black;
18+
padding-left: 30px;
19+
}
20+
21+
h4
22+
{
23+
font: 12pt monospace;
24+
font-weight: bold;
25+
font-size: 12pt;
26+
color:black;
27+
padding-left: 60px;
28+
}
29+
30+
h5
31+
{
32+
font: 12pt monospace;
33+
font-weight: bold;
34+
font-size: 12pt;
35+
color:black;
36+
padding-left: 90px;
37+
}
38+
body
39+
{
40+
background-color: #FFF;
41+
font: Helvetica, Arial;
42+
color: #000;
43+
margin:0;
44+
padding:0;
45+
height:100%;
46+
}
47+
48+
ul
49+
{
50+
list-style-type: none;
51+
padding: 0px;
52+
margin: 0px;
53+
}
54+
55+
ul li
56+
{
57+
padding-left: 30px;
58+
}
59+
60+
ul li.double
61+
{
62+
padding-left: 60px;
63+
}
64+
65+
div.inputDiv
66+
{
67+
float: left;
68+
top: 0px;
69+
left; 0px;
70+
width: 100%;
71+
border: Navy 1px dotted;
72+
margin: 0px;
73+
padding: 0px;
74+
background-color: #eff;
75+
}
76+
77+
div.listDiv
78+
{
79+
float: left;
80+
width: 100%;
81+
border: Navy 1px dotted;
82+
margin: 0px;
83+
padding: 0px;
84+
font: 11pt monospace;
85+
background-color: #eff;
86+
overflow-x: hidden;
87+
white-space: nowrap;
88+
}
89+
90+
div.outputDiv
91+
{
92+
float: left;
93+
width: 100%;
94+
margin-top: 0px;
95+
margin-left: 0px;
96+
margin-right: 0px;
97+
margin-bottom: 10px;
98+
padding: 0px;
99+
background-image: url('draft.png');
100+
background-repeat: no-repeat;
101+
}
102+
103+
div.legendDiv
104+
{
105+
float: left;
106+
width: 100%;
107+
margin-top: 0px;
108+
margin-left: 0px;
109+
margin-right: 0px;
110+
margin-bottom: 10px;
111+
padding: 0px;
112+
font-size: 11pt;
113+
background-image: url('draft.png');
114+
background-repeat: no-repeat;
115+
}
116+
117+
div.xmlDiv
118+
{
119+
margin-left: 60px;
120+
margin-top: 10px;
121+
margin-bottom: 10px;
122+
}
123+
124+
div.ascii
125+
{
126+
background-color: #efffee;
127+
font-family: monospace
128+
margin-top: 10px;
129+
margin-bottom: 10px;
130+
}
131+
.focused
132+
{
133+
/* font-weight: bold;*/
134+
background: #aa1111;
135+
color: #fff!important;
136+
outline: 0;
137+
}
138+
139+
.hidden_content
140+
{
141+
display: none;
142+
}
143+
144+
#input0,#input1
145+
{
146+
font-size: 1.4em;
147+
font-weight: bold;
148+
color: #000;
149+
}
150+
151+
input
152+
{
153+
font: Helvetica, Arial;
154+
}
155+
156+
table.tstyle
157+
{
158+
margin-left: 90px;
159+
border-width: 0 0 1px 1px;
160+
border-spacing: 0;
161+
border-collapse: collapse;
162+
border-style: solid;
163+
}
164+
165+
.tstyle td, .tstyle th
166+
{
167+
white-space: nowrap;
168+
margin: 0;
169+
padding: 4px;
170+
border-width: 1px 1px 0 0;
171+
border-style: solid;
172+
}
173+
174+
span.symbol
175+
{
176+
font: 1.2em monospace;
177+
font-weight: bold;
178+
/* background: #ffe;
179+
color: #143;
180+
*/
181+
}
182+
183+
span.value
184+
{
185+
font: 1.2em monospace;
186+
font-weight: bold;
187+
background: #ffe;
188+
color: #143;
189+
}
190+
191+

0 commit comments

Comments
 (0)