Subversion Repositories SvarDOS

Rev

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

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