Merge pull request #17 from dbkinder/master

update
This commit is contained in:
David Kinder 2018-03-10 15:01:52 -08:00 committed by GitHub
commit 094fa48070
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -5,13 +5,14 @@
max-width: none; max-width: none;
} }
/* (temporarily) add an under development tagline to the bread crumb */ /* (temporarily) add an under development tagline to the bread crumb
.wy-breadcrumbs::after { .wy-breadcrumbs::after {
content: " (Content under development)"; content: " (Content under development)";
background-color: #FFFACD; background-color: #FFFACD;
color: red; color: red;
font-weight: bold; font-weight: bold;
} }
*/
/* Make the version number more visible */ /* Make the version number more visible */
.wy-side-nav-search>div.version { .wy-side-nav-search>div.version {