add-directory.html- add-repository.html
- add-tag.html
- add-user.html
- archive.html
- check-config.html
- check-repositories.html
- checkin.html
- checkout.html
- commands.html
- configuration.html
- copy.html
- date.html
- davdoc.css
- delete-conflicts.html
- edit-user.html
- edit.html
- empty-trash.html
- encryption.html
- export.html
- get-property.html
- get.html
- getting-started.html
- import.html
- index.html
- info.html
- introduction.html
- list-conflicts.html
- list-directories.html
- list-repositories.html
- list-tags.html
- list-users.html
- list-versions.html
- list.html
- lock.html
- mkdir.html
- move.html
- pull.html
- push.html
- put.html
- remove-property.html
- remove-repository.html
- remove-tag.html
- remove-user.html
- remove.html
- rename.html
- repository-url.html
- resolve-conflicts.html
- restore.html
- set-property.html
- set-tags.html
- sync-check-config.html
- sync-commands.html
- sync-configuration.html
- sync-list-versions.html
- trash-info.html
- uncheckout.html
- unlock.html
- versioncontrol.html
1 .header, h1, h2, h3, .sidebar {
2 font-family: sans-serif;
3 }
4
5 .header {
6 padding-top: 0.3em;
7 padding-bottom: 0.5em;
8 margin-bottom: 2em;
9 border: none;
10 border-bottom: 1px solid;
11 border-bottom-color: #2E2E2E;
12 }
13
14 .header span {
15 font-size: 2em;
16 font-weight: bold;
17 margin-left: 1em;
18 }
19
20 .header img {
21 float: right;
22 }
23
24 .header a:link {
25 text-decoration: none;
26 color: black;
27 }
28
29 .header a:visited {
30 text-decoration: none;
31 color: black;
32 }
33
34 .header a:hover {
35 color: #e68a00;
36 }
37
38 .sidebar {
39 float: left;
40 width: 15em;
41 }
42
43 .nav {
44 color: black;
45 background-color: #d2d2d2;
46 margin-bottom: 1em;
47 padding-bottom: 0.1em;
48 }
49
50 .nav h3 {
51 color: white;
52 background-color: #008080;
53 font-size: 1.2em;
54 padding-top: 0.2em;
55 padding-bottom: 0.2em;
56 padding-left: 0.5em;
57 margin-top: 0;
58 }
59
60 .nav ul {
61 margin-top: 0;
62 padding-top: 0;
63 font-size: 0.95em;
64 }
65
66 .nav a:link {
67 text-decoration: none;
68 color: black;
69 }
70
71 .nav a:visited {
72 text-decoration: none;
73 color: black;
74 }
75
76 .nav a:hover {
77 color: #e68a00;
78 }
79
80 .content {
81 margin-left: 16em;
82 padding: 0;
83 font-family: serif;
84 font-size: 1em;
85 min-width: 16em;
86 }
87
88 .content h1 {
89 color: white;
90 background-color: #008080;
91 font-size: 1.2em;
92 padding-top: 0.2em;
93 padding-bottom: 0.2em;
94 padding-left: 0.5em;
95 padding-right: 0;
96 margin-top: 0;
97 }
98
99 .content h2 {
100 font-size: 1.2em;
101 }
102
103 .content h3 {
104 font-size: 1.05em;
105 }
106
107
108