Fix accidental CSS change, leading to a missing border on TOCs.

2018-08-06 13:22:00 -07:00 · 2018-08-06 13:22:00 -07:00 · 06980e3b1f
parent 54c0506698
commit 06980e3b1f
13 changed files with 13 additions and 12 deletions
--- a/src/sass/modules/_toc.scss
+++ b/src/sass/modules/_toc.scss
@ -10,6 +10,7 @@

    .directory {
        padding-left: .5em;
+        border-left: 1px solid $dividerBarColor;

        @supports ((position:-webkit-sticky) or (position:sticky)) {
            max-height: calc(100vh - 9rem);
--- a/static/css/dark_theme_archive.css
+++ b/static/css/dark_theme_archive.css
--- a/static/css/dark_theme_archive.css.map
+++ b/static/css/dark_theme_archive.css.map
--- a/static/css/dark_theme_normal.css
+++ b/static/css/dark_theme_normal.css
--- a/static/css/dark_theme_normal.css.map
+++ b/static/css/dark_theme_normal.css.map
--- a/static/css/dark_theme_preliminary.css
+++ b/static/css/dark_theme_preliminary.css
--- a/static/css/dark_theme_preliminary.css.map
+++ b/static/css/dark_theme_preliminary.css.map
--- a/static/css/light_theme_archive.css
+++ b/static/css/light_theme_archive.css
--- a/static/css/light_theme_archive.css.map
+++ b/static/css/light_theme_archive.css.map
--- a/static/css/light_theme_normal.css
+++ b/static/css/light_theme_normal.css
--- a/static/css/light_theme_normal.css.map
+++ b/static/css/light_theme_normal.css.map
--- a/static/css/light_theme_preliminary.css
+++ b/static/css/light_theme_preliminary.css
--- a/static/css/light_theme_preliminary.css.map
+++ b/static/css/light_theme_preliminary.css.map