summaryrefslogtreecommitdiff
path: root/src/css/design.scss
blob: 6235d8e71caa3d0d16eb01fce9cb38251206f641 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
$gsm:     "screen and (max-width: 768px)";
$tab:     "screen and (max-width: 1024px)";
$gt-gsm:  "screen and (min-width: 768px)";

@import 'contenu';
@import 'sommaire';
@import 'style';
@import 'rainbow';

html {
  background: #f1f1f1;
}

/*
  Disabled because of firefx bugs : <https://bugzilla.mozilla.org/show_bug.cgi?id=1712656>

@media (prefers-color-scheme: dark) {
    html{background:#282328;filter:invert(0.98);}
    img,svg,.cp_embed_wrapper,pre{filter:invert(0.8);}
    #logo-ache {filter:invert(0);}
}
*/

body {
  font-family: 'Noto Serif', Verdana, "Helvetica Neue", Helvetica, "Segoe UI", Arial, freesans, sans-serif;
  margin: 0;
  line-height: 1.6;
  color: #333333;
  word-wrap: break-word;
  font-size: 16px;
}
#harr {
  cursor: pointer;
}
.hide_arrow {
  position: fixed;
  display: none;
  top: 30%;
  left: 303px;
}
.hide_arrow_show {
  @media #{$gt-gsm} {
    display: block;
  }
}
.hide_arrow_off {
  top: 30%;
  left: 3px;


  -moz-transform:    scaleX(-1); /* Gecko */
  -o-transform:      scaleX(-1); /* Opera */
  -webkit-transform: scaleX(-1); /* Webkit */
  transform:         scaleX(-1); /* Standard */
}
#body_c {
  background-repeat: no-repeat;
  background-position: top left;
}
.fl {
  float: left;
}
ache {
  margin-left: auto;
  margin-right: auto;
}
img {
  display: block;
  margin: 0 auto;
  max-width: 100%;
}
table {
  border-collapse: collapse;
  padding: 7px 13px;
  margin: 15px auto;
  p {
    display: inline;
  }
  th {
    background-color: lightblue;
  }
}
table, th, td {
  border: 1px solid #dfe2e5;
  padding: 7px 13px;
}
.suite {
  color: #686868;
  outline: none;
  text-decoration: none;
  font-size: 0.6em;
  font-weight: bold;
  font-family: monospace, serif;
  text-shadow: 0 1px 0 #DDD;
}