Skip to content

Commit a9f12d8

Browse files
committed
Updated resources
1 parent 8f2129f commit a9f12d8

File tree

189 files changed

+184
-1
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

189 files changed

+184
-1
lines changed

res/doc/css/style.css

Lines changed: 183 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,183 @@
1+
body {
2+
font-size: 12pt;
3+
margin-left: auto;
4+
margin-right: auto;
5+
width: 784px;
6+
background-color: #1b1c22;
7+
}
8+
9+
body div {
10+
padding: 8px;
11+
background-color: rgba(255, 255, 255, 0.75);
12+
text-align: justify;
13+
text-justify: inter-word;
14+
}
15+
16+
h1 {
17+
margin-top: 0px;
18+
}
19+
20+
p {
21+
margin-left: 8px;
22+
}
23+
24+
div.images {
25+
padding: 0px;
26+
display: inline;
27+
margin-left: 8px;
28+
padding-right: 8px;
29+
max-width: 100%;
30+
object-fit: contain;
31+
}
32+
33+
div.member {
34+
display: inline-block;
35+
padding: 8px;
36+
}
37+
38+
#body div {
39+
background-color: #ffffff;
40+
}
41+
42+
img {
43+
width: auto;
44+
height: auto;
45+
max-width: 100%;
46+
max-height: 100%;
47+
object-fit: contain;
48+
}
49+
50+
img.portrait {
51+
float: left;
52+
width: 120px;
53+
height: auto;
54+
margin-right: 8px;
55+
}
56+
57+
img.plugin {
58+
width: auto;
59+
height: auto;
60+
max-width: 100%;
61+
max-height: 100%;
62+
object-fit: contain;
63+
}
64+
65+
pre {
66+
font-size: 10pt;
67+
border: 2px solid #1b1c22;
68+
padding: 8px;
69+
margin-left: 8px;
70+
white-space: pre-wrap;
71+
}
72+
73+
/* Menu */
74+
#menu ul {
75+
display: block;
76+
text-align: right;
77+
padding: 0;
78+
margin: 0px;
79+
}
80+
81+
#menu li {
82+
display: inline-table;
83+
margin: 2px;
84+
padding: 6px;
85+
background-color: #00ee00;
86+
}
87+
88+
#menu li:hover {
89+
background-color: #ffff00;
90+
}
91+
92+
#menu li.sel {
93+
background-color: #00c0ff;
94+
color: #ffffff;
95+
}
96+
97+
#menu, #menu div {
98+
padding: 0;
99+
}
100+
101+
102+
/* Plugin information */
103+
div.plugin_select, div.plugin_info {
104+
padding: 0;
105+
}
106+
107+
div.plugin_select h2, div.plugin_info h2 {
108+
cursor: pointer;
109+
font-size: 1.1em;
110+
margin-bottom: 4px;
111+
margin-top: 4px;
112+
}
113+
114+
div.plugin_select h2:before {
115+
content: "\2192\00a0";
116+
font-family: monospace;
117+
}
118+
119+
div.plugin_select h2:hover:before {
120+
content: "\2193\00a0";
121+
font-family: monospace;
122+
}
123+
124+
div.plugin_info h2:before {
125+
content: "\2193\00a0";
126+
font-family: monospace;
127+
}
128+
129+
div.plugin_info h2:hover:before {
130+
content: "\2191\00a0";
131+
font-family: monospace;
132+
}
133+
134+
div.plugin_select h2:hover, div.plugin_info h2:hover {
135+
color: #00c0ff;
136+
}
137+
138+
div.plugin_select div {
139+
display: none;
140+
}
141+
142+
/* Input elements */
143+
input {
144+
border: 1px solid #cccccc;
145+
width: 256px;
146+
float: right;
147+
}
148+
149+
input[type="button"], input[type="submit"] {
150+
width: 128px;
151+
height: 32px;
152+
float: left;
153+
}
154+
155+
textarea {
156+
border: 1px solid #cccccc;
157+
width: 512px;
158+
height: 320px;
159+
}
160+
161+
div.g-recaptcha, div.g-recaptcha div {
162+
padding: 0;
163+
}
164+
165+
#main p {
166+
text-align: justify;
167+
text-justify: inter-word;
168+
}
169+
170+
#header {
171+
padding: 0;
172+
}
173+
174+
#footer {
175+
padding-top: 64px;
176+
font-size: 8pt;
177+
text-align: right;
178+
color: #c0c0c0;
179+
}
180+
181+
tr.stroke {
182+
text-decoration: line-through
183+
}

res/doc/img/controls/button.png

536 Bytes
636 Bytes
556 Bytes
515 Bytes
577 Bytes

res/doc/img/controls/combo.png

739 Bytes

res/doc/img/controls/combo_group.png

90.3 KB
2.32 KB

res/doc/img/controls/context_menu.png

5.45 KB

0 commit comments

Comments
 (0)