Thu, 28 Mar 2019 14:18:54 +0100
fixes that pull downloads the history collection
.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; }