diff --git a/.travis.sh b/.travis.sh index 1e866526e..3ea115f69 100755 --- a/.travis.sh +++ b/.travis.sh @@ -23,25 +23,6 @@ # Exit, if one command fails set -e -# # Create directory for overrides, so we don't clutter up the base theme with -# # our custom adjustments for our own hosted documentation -# mkdir -p overrides -# cat > overrides/main.html <<-EOM -# {% extends "base.html" %} -# {% block scripts %} -# {{ super() }} -# -# {% endblock %} -# EOM - # Deploy documentation to GitHub pages if [ "$TRAVIS_BRANCH" == "master" -a "$TRAVIS_PULL_REQUEST" == "false" ]; then REMOTE="https://${GH_TOKEN}@github.com/squidfunk/mkdocs-material" @@ -54,18 +35,11 @@ if [ "$TRAVIS_BRANCH" == "master" -a "$TRAVIS_PULL_REQUEST" == "false" ]; then # Install Material, so we can use it as a base template and add overrides python setup.py install - # # Override theme configuration - # sed -i 's/name: null/name: material/g' mkdocs.yml - # sed -i 's/custom_dir: material/custom_dir: overrides/g' mkdocs.yml - # Build documentation with overrides and publish to GitHub pages mkdocs gh-deploy --force mkdocs --version fi -# Remove overrides directory so it won't get included in the image -# rm -rf overrides - # Terminate if we're not on a release branch echo "${TRAVIS_BRANCH}" | grep -qvE "^[0-9.]+$" && exit 0; :; diff --git a/src/assets/javascripts/component/header/_/index.ts b/src/assets/javascripts/component/header/_/index.ts index a6b242e78..7d04e886a 100644 --- a/src/assets/javascripts/component/header/_/index.ts +++ b/src/assets/javascripts/component/header/_/index.ts @@ -29,7 +29,10 @@ import { } from "rxjs/operators" import { Container } from "../../container" -import { resetHeaderShadow, setHeaderShadow } from "../element" +import { + resetHeaderShadow, + setHeaderShadow +} from "../element" /* ---------------------------------------------------------------------------- * Types