Subversion Repositories SvarDOS

Rev

Rev 139 | Rev 178 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 139 Rev 175
1
@import url(https://fonts.googleapis.com/css?Open+Sans:400,700,400italic);
1
@import url(https://fonts.googleapis.com/css?Open+Sans:400,700,400italic);
2
 
2
 
3
@font-face {
3
@font-face {
4
  font-family: 'dosega';
4
  font-family: 'dosega';
5
  src: url('dosega.ttf');
5
  src: url('dosega.ttf');
6
}
6
}
7
 
7
 
8
p.title {
8
p.title {
9
  font-size: 1.35em; margin: 3em auto 0 auto; text-align: center;
9
  font-size: 1.35em; margin: 3em auto 0 auto; text-align: center;
10
}
10
}
11
 
11
 
12
p.copyr {
12
p.copyr {
13
  font-size: 1.00em; margin: 0 auto 4.5em auto; color: #959595; text-align: center;
13
  font-size: 1.00em; margin: 0 auto 4.5em auto; color: #959595; text-align: center;
14
}
14
}
15
 
15
 
16
p.chapt {
16
p.chapt {
17
  font-size: 1.05em; font-weight: bold; margin: 1.75em 0 0 0; text-align: left;
17
  font-size: 1.05em; font-weight: bold; margin: 1.75em 0 0 0; text-align: left;
18
}
18
}
19
 
19
 
20
p {
20
p {
21
  font-size: 1.00em; margin: 0.5em 0 0 0; text-align: justify;
21
  font-size: 1.00em; margin: 0.5em 0 0 0; text-align: justify;
22
}
22
}
23
 
23
 
24
p.tech {
24
p.tech {
25
  white-space: pre-wrap;
25
  white-space: pre-wrap;
26
  font-size: 1.1em;
26
  font-size: 1.1em;
27
  text-align: left;
27
  text-align: left;
28
  font-family: 'dosega', monospace;
28
  font-family: 'dosega', monospace;
29
}
29
}
30
 
30
 
31
p.wondering {
31
p.wondering {
32
  font-size: 0.95em;
32
  font-size: 0.95em;
33
  margin: 1.3em 0;
33
  margin: 1.3em 0;
34
  border: 1px #222 dashed;
34
  border: 1px #222 dashed;
35
  opacity: 0.8;
35
  opacity: 0.8;
36
}
36
}
37
 
37
 
38
html,body {
38
html {
39
  font-size: 1.1em;
-
 
40
  margin: 0;
39
  margin: 0;
41
  padding: 0;
40
  padding: 0;
42
  background-color: #B0B0B0;
41
  background-color: #ccc;
-
 
42
}
-
 
43
 
-
 
44
body {
43
  height: 100%;
45
  font-size: 1.1em;
-
 
46
  background-color: #fff;
44
  font-family: "open sans", sans-serif;
47
  font-family: "open sans", sans-serif;
-
 
48
  margin: 0 auto;
-
 
49
  padding: 1em 0.5em
-
 
50
  box-sizing: border-box;
-
 
51
  width: 100%;
-
 
52
  max-width: 60em;
45
}
53
}
46
 
54
 
47
a:link { /* unvisited link */
55
a:link { /* unvisited link */
48
  color: #000080; text-decoration: none;
56
  color: #000080; text-decoration: none;
49
}
57
}
50
 
58
 
51
a:visited { /* visited link */
59
a:visited { /* visited link */
52
  color: #000080; text-decoration: none;
60
  color: #000080; text-decoration: none;
53
}
61
}
54
 
62
 
55
a:hover { /* mouse over link */
63
a:hover { /* mouse over link */
56
  color: #0000FF; text-decoration: none;
64
  color: #0000FF; text-decoration: none;
57
}
65
}
58
 
66
 
59
a:active { /* selected link */
67
a:active { /* selected link */
60
  color: #000080; text-decoration: none;
68
  color: #000080; text-decoration: none;
61
}
69
}
62
 
70
 
63
a.mateusz {
71
a.mateusz {
64
  color: inherit; text-decoration: none;
72
  color: inherit; text-decoration: none;
65
}
73
}
66
 
74
 
67
table.nls {
75
table.nls {
68
  margin: 1em auto;
76
  margin: 1em auto;
69
  border-spacing: 0;
77
  border-spacing: 0;
70
  border-collapse: collapse;
78
  border-collapse: collapse;
71
  border: none;
79
  border: none;
72
}
80
}
73
 
81
 
74
table.nls th {
82
table.nls th {
75
  font-weight: bold;
83
  font-weight: bold;
76
  text-align: center;
84
  text-align: center;
77
  font-size: 1em;
85
  font-size: 1em;
78
}
86
}
79
 
87
 
80
table.nls td {
88
table.nls td {
81
  border: 1px #777 solid;
89
  border: 1px #777 solid;
82
  padding: 0.2em 0.5em;
90
  padding: 0.2em 0.5em;
83
}
91
}
84
 
92
 
85
td.pkg {
93
td.pkg {
86
  text-align: left;
94
  text-align: left;
87
  font-size: 1em;
95
  font-size: 1em;
88
}
96
}
89
 
97
 
90
td.err {
98
td.err {
91
  background-color: #f00;
99
  background-color: #f00;
92
  text-align: center;
100
  text-align: center;
93
  font-size: 0.9em;
101
  font-size: 0.9em;
94
}
102
}
95
 
103
 
96
td.complete {
104
td.complete {
97
  background-color: #5f5;
105
  background-color: #5f5;
98
  text-align: center;
106
  text-align: center;
99
  font-size: 0.9em;
107
  font-size: 0.9em;
100
}
108
}
101
 
109
 
102
td.incomplete {
110
td.incomplete {
103
  background-color: #fbb;
111
  background-color: #fbb;
104
  text-align: center;
112
  text-align: center;
105
  font-size: 0.9em;
113
  font-size: 0.9em;
106
}
114
}
107
 
115
 
108
td.unsup {
116
td.unsup {
109
  background-color: #bbb;
117
  background-color: #bbb;
110
  text-align: center;
118
  text-align: center;
111
  font-size: 0.9em;
119
  font-size: 0.9em;
112
}
120
}
113
 
121