diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index ec52ccaa..eebed4f0 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -39,6 +39,8 @@ jobs: git fetch origin gh-pages git checkout gh-pages mkdir -p specification/develop + # patch dev specification to include banner + sed -i 's|||g' optimade.html mv optimade.html specification/develop/index.html git add specification/develop/index.html git commit -m "Deploy develop specification to GitHub Pages: ${SHA}" diff --git a/tests/makefiles/style.css b/tests/makefiles/style.css index 61af4333..bbf335f1 100644 --- a/tests/makefiles/style.css +++ b/tests/makefiles/style.css @@ -46,6 +46,29 @@ body { --field-indent: 9em; /* default indent of fields in field lists */ } +/*Banner for development version*/ +.banner-container { + max-width: 60rem; + min-width: 60rem; + height: 50px; + position: fixed; + top: 0; + color: var(--code-bg-color); + background: var(--code-fg-color); + border: outset 2px var(--tertiary); + align-items: center; + display: flex; + justify-content: center; +} + +.banner { + text-transform: uppercase; + text-align: center; + vertical-align: middle; + font-size: 1.5em; + display: table-cell; +} + /* "page layout" */ main, footer, header { line-height:1.6;