2018-01-23T18:53:43+0000 Deploy new site

This commit is contained in:
Circle CI 2018-01-23 18:53:43 +00:00
commit 22fa3a5b05
6 changed files with 77 additions and 53 deletions

View file

@ -8234,6 +8234,10 @@ a.text-dark:hover, a.text-dark:focus {
border: 1px solid #ddd !important;
}
}
.primary-container {
padding: 0;
}
dl > dt + dd, dl > dd + dd {
padding-left: 1em;
margin-bottom: 0;