.file {
	margin-top: 0;
	margin-bottom: 0;
}

.date {
	margin-bottom: 0;
}

.version {
	margin-top: 0;
}

.author {
	margin-top: 0;
}

.note {
	font-weight: bold;
}

.footnote {
	font-weight: bold; 
    color: red;
}

dt.footnote {
	float: left;
}

ul.FTP {
    padding-left: 1.2em;
}

dl.FTP dt,dd {
    padding-bottom: 0.5em;
}

ul.breadcrumb {
	list-style: none;
    padding-left: 0.5em;

}

.breadcrumb li:before {
	content: "\203A";
	padding-right: 0.5em;
}

p.code {
	font-family: monospace; 
}

#navbar {
  position: fixed;
  left: 0;
  top: 80px;
  margin-top: 5px;
}