web.css


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

/* file      : web.css
 * copyright : Copyright (c) 2014-2019 Code Synthesis Ltd
 * license   : MIT; see accompanying LICENSE file
 */

/* Bases:
 *
 * common.css
 * pre-box.css
 * code-box.css
 *
 */

@media only screen and (max-width: 567px)
{
  #header-menu-body
  {
    -webkit-flex-direction: column;
    flex-direction: column;
  }
}

#header-logo {font-size: 1.2em;}
#header-logo code {background-color: #fff; color: #333;}

h1
{
  font-weight: normal;
  font-size: 2em;
  line-height: 1.4em;
  margin: 1.6em 0 1em 0;
}

h1 code {font-size: 1em;}

h2
{
  font-weight: normal;
  font-size: 1.556em;
  line-height: 1.4em;
  margin: 1.6em 0 1em 0;
}

/* This one is used for FAQ questions. A hack to avoid separate style file. */
h4
{
  font-weight: normal;
  font-size: 1.223em;
  line-height: 1.4em;
  letter-spacing: 0;
  margin: 2.4em 0 1em 0;

  padding-left: .4em;
  border-left: 3px solid #ccc;
}