Subversion Repositories SvarDOS

Rev

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

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