Subversion Repositories SvarDOS

Rev

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

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