Skip to content

Commit 5a71be3

Browse files
author
Said Fathalla
committed
add DISO documentation
1 parent 2a28d34 commit 5a71be3

19 files changed

Lines changed: 48073 additions & 0 deletions

‎docs/DISO/index-de.html‎

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

‎docs/DISO/index.html‎

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

‎docs/DISO/resources/extra.css‎

Lines changed: 124 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,124 @@
1+
body {
2+
text-align: justify;
3+
}
4+
5+
h1 {
6+
line-height: 110%;
7+
}
8+
9+
.hlist {
10+
border: 1px solid navy;
11+
padding:5px;
12+
background-color: #F4FFFF;
13+
}
14+
15+
.hlist li {
16+
display: inline;
17+
display: inline-table;
18+
list-style-type: none;
19+
padding-right: 20px;
20+
21+
}
22+
23+
.entity {
24+
border: 1px solid navy;
25+
margin:5px 0px 5px 0px;
26+
padding: 5px;
27+
}
28+
29+
.type-c {
30+
cursor:help;
31+
color:orange;
32+
}
33+
34+
.type-op {
35+
cursor:help;
36+
color:navy;
37+
}
38+
39+
.type-dp {
40+
cursor:help;
41+
color:green;
42+
}
43+
44+
.type-ap {
45+
cursor:help;
46+
color:maroon;
47+
}
48+
49+
.type-ni {
50+
cursor:help;
51+
color:brown;
52+
}
53+
54+
.logic {
55+
color:purple;
56+
font-weight:bold;
57+
}
58+
59+
h3 {
60+
margin-top: 3px;
61+
padding-bottom: 5px;
62+
border-bottom: 1px solid navy;
63+
}
64+
65+
h2 {
66+
margin-top:40px;
67+
}
68+
69+
.dotted {
70+
border-bottom: 1px dotted gray;
71+
}
72+
73+
dt {
74+
margin-top:5px;
75+
}
76+
77+
.description {
78+
border-top: 1px dashed gray;
79+
border-bottom: 1px dashed gray;
80+
background-color: rgb(242, 243, 244);
81+
margin-top:5px;
82+
padding-bottom:5px;
83+
}
84+
85+
.description dl {
86+
background-color: rgb(242, 243, 244);
87+
}
88+
89+
.description ul {
90+
padding-left: 12px;
91+
margin-top: 0px;
92+
}
93+
94+
.backlink {
95+
font-size:10pt;
96+
text-align:right;
97+
float:right;
98+
color:black;
99+
padding: 2px;
100+
border: 1px dotted navy;
101+
background-color: #F4FFFF;
102+
}
103+
104+
.imageblock {
105+
text-align: center;
106+
}
107+
108+
.imageblock img {
109+
border:1px solid gray;
110+
}
111+
112+
.endnote {
113+
margin-top: 40px;
114+
border-top: 1px solid gray;
115+
padding-top: 10px;
116+
text-align: center;
117+
color:gray;
118+
font-size:70%;
119+
}
120+
121+
.literal {
122+
color:green;
123+
font-style:italic;
124+
}

‎docs/DISO/resources/jquery.js‎

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

‎docs/DISO/resources/marked.min.js‎

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

‎docs/DISO/resources/owl.css‎

Lines changed: 248 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,248 @@
1+
.RFC2119 {
2+
text-transform: lowercase;
3+
font-style: italic;
4+
}
5+
.nonterminal {
6+
font-weight: bold;
7+
font-family: sans-serif;
8+
font-size: 95%;
9+
}
10+
#abstract br {
11+
/* doesn't work right SOMETIMES
12+
margin-bottom: 1em; */
13+
}
14+
.name {
15+
font-family: monospace;
16+
}
17+
.buttonpanel {
18+
margin-top: 1ex;
19+
margin-bottom: 1ex;
20+
padding-left: 1ex;
21+
padding-right: 1ex;
22+
padding-top: 1ex;
23+
padding-bottom: 0.6ex;
24+
border: 1px dotted black;
25+
}
26+
.grammar {
27+
margin-top: 1ex;
28+
margin-bottom: 1ex;
29+
padding-left: 1ex;
30+
padding-right: 1ex;
31+
padding-top: 1ex;
32+
padding-bottom: 0.6ex;
33+
border: 1px dashed #2f6fab;
34+
font-family: monospace;
35+
}
36+
.image {
37+
text-align: center;
38+
}
39+
.centered {
40+
text-align: center;
41+
padding-top: 4ex;
42+
padding-bottom: 4ex;
43+
}
44+
.centered table {
45+
margin: 0 auto;
46+
text-align: left;
47+
}
48+
.caption {
49+
font-weight: bold;
50+
}
51+
.indent {
52+
margin-left: 20px;
53+
}
54+
.atrisknote {
55+
padding: 5px;
56+
margin-top: 10px;
57+
margin-bottom: 10px;
58+
border: solid 2px blue;
59+
background-color: #FFA;
60+
}
61+
.atrisknotehead {
62+
font-style: italic;
63+
}
64+
65+
/* Stying the examples. */
66+
67+
.anexample:before {
68+
content: "Example:";
69+
font-family: sans-serif;
70+
font-size: 1.6ex;
71+
font-weight: bold;
72+
}
73+
.anexample {
74+
margin-top: 1ex;
75+
margin-bottom: 1ex;
76+
padding-left: 1ex;
77+
padding-right: 1ex;
78+
padding-top: 1ex;
79+
padding-bottom: 0.6ex;
80+
border: 1px dashed #2f6fab;
81+
background-color: #f9f9f9;
82+
}
83+
.anexample table {
84+
background-color: #f9f9f9;
85+
}
86+
87+
/* Styling the parts in the functional-style syntax. */
88+
89+
div.fss {
90+
margin-top: 10px;
91+
margin-bottom: 10px;
92+
margin-left: 20px;
93+
margin-right: 20px;
94+
font-family: monospace;
95+
}
96+
table.fss {
97+
margin: 0px 0px 0px 0px;
98+
padding: 0px 0px 0px 0px;
99+
width: 100%;
100+
}
101+
table.fss caption.fss {
102+
font-size: 1.5ex;
103+
font-weight: bold;
104+
text-align: left;
105+
padding-left: 10px;
106+
}
107+
table.fss td:first-child {
108+
font-family: monospace;
109+
padding-left: 20px;
110+
padding-right: 20px;
111+
width: 60%;
112+
}
113+
table{
114+
background-color: #f4ffff;
115+
border: 1px solid navy;
116+
margin: 20px;
117+
vertical-align: middle;
118+
}
119+
table td {
120+
padding: 5px 15px;
121+
text-align: left;
122+
}
123+
124+
/* Styling the parts in the RDF syntax. */
125+
126+
div.rdf{
127+
margin-top: 10px;
128+
margin-bottom: 10px;
129+
margin-left: 20px;
130+
margin-right: 20px;
131+
font-family: monospace;
132+
}
133+
table.rdf {
134+
margin: 0px 0px 0px 0px;
135+
padding: 0px 0px 0px 0px;
136+
width: 100%;
137+
}
138+
table.rdf caption.rdf {
139+
font-size: 1.5ex;
140+
font-weight: bold;
141+
text-align: left;
142+
padding-left: 10px;
143+
}
144+
table.rdf td:first-child {
145+
font-family: monospace;
146+
padding-left: 20px;
147+
padding-right: 20px;
148+
width: 60%;
149+
}
150+
151+
/* Styling the XML syntax. */
152+
153+
div.xmlsyn {
154+
margin-top: 10px;
155+
margin-bottom: 10px;
156+
margin-left: 20px;
157+
margin-right: 20px;
158+
font-family: monospace;
159+
}
160+
div.axioms {
161+
margin-top: 10px;
162+
margin-bottom: 10px;
163+
margin-left: 20px;
164+
margin-right: 20px;
165+
}
166+
167+
/* Other styles. */
168+
169+
table.complexity td {
170+
text-align: center;
171+
}
172+
table.allname td {
173+
font-family: monospace;
174+
}
175+
table.canonicalparsing {
176+
margin-left: 20px;
177+
border-style: none;
178+
}
179+
table.canonicalparsing td {
180+
vertical-align: top;
181+
padding: 2px 2px 2px 2px;
182+
}
183+
table.canonicalparsing td.two {
184+
padding-left: 30px;
185+
}
186+
187+
/* The following are classes for templates used in the editing process. */
188+
189+
.review {
190+
padding: 5px;
191+
border: solid 1px black;
192+
margin-left: 10%;
193+
margin-top: 10px;
194+
margin-bottom: 10px;
195+
background-color: #FFA;
196+
font-size: smaller;
197+
}
198+
.reviewauthor {
199+
font-size: smaller;
200+
font-style: italic;
201+
}
202+
.ednote {
203+
padding: 5px;
204+
border: solid 1px black;
205+
margin-top: 10px;
206+
margin-bottom: 10px;
207+
}
208+
.ednotehead {
209+
font-weight: bold;
210+
}
211+
212+
/* override mediawiki's beautiful DL styling... */
213+
dl {
214+
background: white;
215+
width: 100%;
216+
border: none;
217+
margin-top: 0;
218+
margin-bottom: 0;
219+
padding-top: 0;
220+
padding-bottom: 0;
221+
}
222+
223+
div {
224+
margin-top: 0;
225+
margin-bottom: 0;
226+
}
227+
#fulltitle {
228+
font-size: 140%;
229+
font-weight: bold;
230+
}
231+
232+
.xml {
233+
color: red
234+
}
235+
236+
.rdbms{
237+
color: red
238+
}
239+
240+
/* just copying from wiki, so it stays through TR. Currently
241+
affects Primer, at least */
242+
pre {
243+
background-color:#F9F9F9;
244+
border:1px dashed #2F6FAB;
245+
color:black;
246+
line-height:1.1em;
247+
padding:1em;
248+
}

0 commit comments

Comments
 (0)