Switch to unified view

a/docs_style.css b/docs_style.css
...
...
10
  text-align: justify;
10
  text-align: justify;
11
}
11
}
12
12
13
.hint {
13
.hint {
14
  font-weight: bold;
14
  font-weight: bold;
15
  padding: 10px 10px 10px 10%;
16
  background: #eee;
17
}
18
19
code {
20
  display: block;
21
  white-space: pre-wrap;
15
  padding: 10px 10px 10px 10%;
22
  padding: 10px 10px 10px 10%;
16
  background: #eee;
23
  background: #eee;
17
}
24
}
18
25
19
#site-header {
26
#site-header {