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
| h1 > a.sectionlink, h2 > a.sectionlink, h3 > a.sectionlink,
| h4 > a.sectionlink, h5 > a.sectionlink, h6 > a.sectionlink {
| margin-left:-20px;
| padding-right: 3px;
| color: inherit;
| font-decoration: none;
| }
| h1 > a.sectionlink > i, h2 > a.sectionlink > i, h3 > a.sectionlink > i,
| h4 > a.sectionlink > i, h5 > a.sectionlink > i, h6 > a.sectionlink > i {
| visibility: hidden;
| font-size: inherit;
| vertical-align: middle;
| }
| h1.section:hover > a.sectionlink > i, h2.section:hover > a.sectionlink > i,
| h3.section:hover > a.sectionlink > i, h4.section:hover > a.sectionlink > i,
| h5.section:hover > a.sectionlink > i, h6.section:hover > a.sectionlink > i {
| visibility: visible;
| font-decoration: none;
| }
| pre.prettyprint { overflow: hidden; }
| a:focus { outline: none; }
| table { font-size: inherit; }
|
| h1.section:before, h2.section:before, h3.section:before,
| h4.section:before, h5.section:before, h6.section:before {
| display:block;
| content:"";
| height: (@navbarHeight + 15);
| margin: (@navbarHeight + 15)*-1 0 0;
| }
|
|