diff --git a/docs/theme/docker/layout.html b/docs/theme/docker/layout.html index 900d5c3b86..34b77a4225 100755 --- a/docs/theme/docker/layout.html +++ b/docs/theme/docker/layout.html @@ -25,11 +25,25 @@ + ['//fonts.googleapis.com/css?family=Cabin:400,700,400italic'] %} - {%- if pagename == 'index' %} - - {% else %} - - {% endif %} + {% set pagename = 'use/commandline/run/index/' %} + + + combined = {{ combined }} + + {# + This part is hopefully complex because things like |cut '/index/' are not available in spinx jinja + and will make it crash. (and we need index/ out. + #} + + {%- for cssfile in css_files %} {%- endfor %} @@ -124,7 +138,14 @@ Current version: diff --git a/docs/theme/docker/static/css/main.css b/docs/theme/docker/static/css/main.css index ed1f9686b3..756adb1989 100755 --- a/docs/theme/docker/static/css/main.css +++ b/docs/theme/docker/static/css/main.css @@ -397,7 +397,8 @@ dt:hover > a.headerlink { .admonition .admonition-title { font-size: larger; } -.admonition.warning { +.admonition.warning, +.admonition.danger { border-color: #ac0004; } .admonition.note { diff --git a/docs/theme/docker/static/css/main.less b/docs/theme/docker/static/css/main.less index 197b49eaef..ce18a387a6 100644 --- a/docs/theme/docker/static/css/main.less +++ b/docs/theme/docker/static/css/main.less @@ -594,7 +594,7 @@ dt:hover > a.headerlink { font-size: larger; } - &.warning { + &.warning, &.danger { border-color: #ac0004; }