Subversion Repositories SvarDOS

Rev

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

Rev 175 Rev 178
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 {
 38 
html {
39 
  margin: 0;
 39 
  margin: 0;
40 
  padding: 0;
 40 
  padding: 0;
41 
  background-color: #ccc;
 41 
  background-color: #ccc;
42 
}
 42 
}
43 
 
 43 
 
44 
body {
 44 
body {
45 
  font-size: 1.1em;
 45 
  font-size: 1.1em;
46 
  background-color: #fff;
 46 
  background-color: #fff;
47 
  font-family: "open sans", sans-serif;
 47 
  font-family: "open sans", sans-serif;
48 
  margin: 0 auto;
 48 
  margin: 0 auto;
49 
  padding: 1em 0.5em
 49 
  padding: 1em 0.5em;
50 
  box-sizing: border-box;
 50 
  box-sizing: border-box;
51 
  width: 100%;
 51 
  width: 100%;
52 
  max-width: 60em;
 52 
  max-width: 60em;
53 
}
 53 
}
54 
 
 54 
 
55 
a:link { /* unvisited link */
 55 
a:link { /* unvisited link */
56 
  color: #000080; text-decoration: none;
 56 
  color: #000080; text-decoration: none;
57 
}
 57 
}
58 
 
 58 
 
59 
a:visited { /* visited link */
 59 
a:visited { /* visited link */
60 
  color: #000080; text-decoration: none;
 60 
  color: #000080; text-decoration: none;
61 
}
 61 
}
62 
 
 62 
 
63 
a:hover { /* mouse over link */
 63 
a:hover { /* mouse over link */
64 
  color: #0000FF; text-decoration: none;
 64 
  color: #0000FF; text-decoration: none;
65 
}
 65 
}
66 
 
 66 
 
67 
a:active { /* selected link */
 67 
a:active { /* selected link */
68 
  color: #000080; text-decoration: none;
 68 
  color: #000080; text-decoration: none;
69 
}
 69 
}
70 
 
 70 
 
71 
a.mateusz {
 71 
a.mateusz {
72 
  color: inherit; text-decoration: none;
 72 
  color: inherit; text-decoration: none;
73 
}
 73 
}
74 
 
 74 
 
75 
table.nls {
 75 
table.nls {
76 
  margin: 1em auto;
 76 
  margin: 1em auto;
77 
  border-spacing: 0;
 77 
  border-spacing: 0;
78 
  border-collapse: collapse;
 78 
  border-collapse: collapse;
79 
  border: none;
 79 
  border: none;
80 
}
 80 
}
81 
 
 81 
 
82 
table.nls th {
 82 
table.nls th {
83 
  font-weight: bold;
 83 
  font-weight: bold;
84 
  text-align: center;
 84 
  text-align: center;
85 
  font-size: 1em;
 85 
  font-size: 1em;
86 
}
 86 
}
87 
 
 87 
 
88 
table.nls td {
 88 
table.nls td {
89 
  border: 1px #777 solid;
 89 
  border: 1px #777 solid;
90 
  padding: 0.2em 0.5em;
 90 
  padding: 0.2em 0.5em;
91 
}
 91 
}
92 
 
 92 
 
93 
td.pkg {
 93 
td.pkg {
94 
  text-align: left;
 94 
  text-align: left;
95 
  font-size: 1em;
 95 
  font-size: 1em;
96 
}
 96 
}
97 
 
 97 
 
98 
td.err {
 98 
td.err {
99 
  background-color: #f00;
 99 
  background-color: #f00;
100 
  text-align: center;
 100 
  text-align: center;
101 
  font-size: 0.9em;
 101 
  font-size: 0.9em;
102 
}
 102 
}
103 
 
 103 
 
104 
td.complete {
 104 
td.complete {
105 
  background-color: #5f5;
 105 
  background-color: #5f5;
106 
  text-align: center;
 106 
  text-align: center;
107 
  font-size: 0.9em;
 107 
  font-size: 0.9em;
108 
}
 108 
}
109 
 
 109 
 
110 
td.incomplete {
 110 
td.incomplete {
111 
  background-color: #fbb;
 111 
  background-color: #fbb;
112 
  text-align: center;
 112 
  text-align: center;
113 
  font-size: 0.9em;
 113 
  font-size: 0.9em;
114 
}
 114 
}
115 
 
 115 
 
116 
td.unsup {
 116 
td.unsup {
117 
  background-color: #bbb;
 117 
  background-color: #bbb;
118 
  text-align: center;
 118 
  text-align: center;
119 
  font-size: 0.9em;
 119 
  font-size: 0.9em;
120 
}
 120 
}
121 
 
 121