Makefile- add-directory.md
- add-repository.md
- add-tag.md
- add-user.md
- archive.md
- check-config.md
- check-repositories.md
- checkin.md
- checkout.md
- commands.md
- configuration.md
- copy.md
- date.md
- dav-sync.1.md
- dav.1.md
- davdoc.css
- delete-conflicts.md
- edit-user.md
- edit.md
- empty-trash.md
- encryption.md
- export.md
- footer.html
- get-property.md
- get.md
- getting-started.md
- header.html
- import.md
- index.html
- info.md
- introduction.md
- list-conflicts.md
- list-directories.md
- list-repositories.md
- list-tags.md
- list-users.md
- list-versions.md
- list.md
- lock.md
- mkdir.md
- move.md
- pull.md
- push.md
- put.md
- remove-property.md
- remove-repository.md
- remove-tag.md
- remove-user.md
- remove.md
- rename.md
- repository-url.md
- resolve-conflicts.md
- restore.md
- set-property.md
- set-tags.md
- sync-check-config.md
- sync-commands.md
- sync-configuration.md
- sync-list-versions.md
- trash-info.md
- uncheckout.md
- unlock.md
- versioncontrol.md
.header, h1, h2, h3, .sidebar {
font-family: sans-serif;
}
.header {
padding-top: 0.3em;
padding-bottom: 0.5em;
margin-bottom: 2em;
border: none;
border-bottom: 1px solid;
border-bottom-color: #2E2E2E;
}
.header span {
font-size: 2em;
font-weight: bold;
margin-left: 1em;
}
.header img {
float: right;
}
.header a:link {
text-decoration: none;
color: black;
}
.header a:visited {
text-decoration: none;
color: black;
}
.header a:hover {
color: #e68a00;
}
.sidebar {
float: left;
width: 15em;
}
.nav {
color: black;
background-color: #d2d2d2;
margin-bottom: 1em;
padding-bottom: 0.1em;
}
.nav h3 {
color: white;
background-color: #008080;
font-size: 1.2em;
padding-top: 0.2em;
padding-bottom: 0.2em;
padding-left: 0.5em;
margin-top: 0;
}
.nav ul {
margin-top: 0;
padding-top: 0;
font-size: 0.95em;
}
.nav a:link {
text-decoration: none;
color: black;
}
.nav a:visited {
text-decoration: none;
color: black;
}
.nav a:hover {
color: #e68a00;
}
.content {
margin-left: 16em;
padding: 0;
font-family: serif;
font-size: 1em;
min-width: 16em;
}
.content h1 {
color: white;
background-color: #008080;
font-size: 1.2em;
padding-top: 0.2em;
padding-bottom: 0.2em;
padding-left: 0.5em;
padding-right: 0;
margin-top: 0;
}
.content h2 {
font-size: 1.2em;
}
.content h3 {
font-size: 1.05em;
}