Subversion Repositories SvarDOS

Rev

Rev 178 | Rev 183 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 178 Rev 179
Line 1... Line 1...
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;
Line 42... Line 48...
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 
}