|
a/dirbrowser/cdbrowser.css |
|
b/dirbrowser/cdbrowser.css |
|
... |
|
... |
13 |
|
13 |
|
14 |
a {
|
14 |
a {
|
15 |
text-decoration: none;
|
15 |
text-decoration: none;
|
16 |
}
|
16 |
}
|
17 |
|
17 |
|
18 |
/* The top margin is for leaving the space for the fixed header. The line
|
18 |
/* The top margin is for leaving the space for the fixed header.
|
19 |
* is edited when changing the scale. Do not edit too much because regex */
|
19 |
* We specify the size in em to avoid having to edit it when
|
|
|
20 |
* changing the font size */
|
20 |
body {margin: 30px 0px 0px 0px;}
|
21 |
body {margin: 2em 0px 0px 0px;}
|
21 |
|
22 |
|
22 |
/* The current path indicator is an ul inside a browsepath div inside
|
23 |
/* The current path indicator is an ul inside a browsepath div inside
|
23 |
the fixedheader div */
|
24 |
the fixedheader div */
|
24 |
div#fixedheader {
|
25 |
div#fixedheader {
|
25 |
position:fixed;
|
26 |
position:fixed;
|