From e7d56dd4bd9d6f852c8e9b84d1fb742e309686a4 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Wed, 15 Jul 2020 13:56:03 -0700 Subject: [PATCH] Clean up some styles. --- themes/vanilla/assets/scss/style.scss | 8 ++++---- themes/vanilla/assets/scss/toc.scss | 19 +------------------ 2 files changed, 5 insertions(+), 22 deletions(-) diff --git a/themes/vanilla/assets/scss/style.scss b/themes/vanilla/assets/scss/style.scss index 0da3003..4f445a1 100755 --- a/themes/vanilla/assets/scss/style.scss +++ b/themes/vanilla/assets/scss/style.scss @@ -45,6 +45,7 @@ pre code { div.highlight table { border: $code-border !important; + border-radius: 0px; pre { margin: 0; @@ -65,7 +66,7 @@ div.highlight table { @include below-container-width { padding: 0 $container-min-padding 0 $container-min-padding; margin: 0; - max-width: $container-width + 2*$container-min-padding; + max-width: $container-width + 2 * $container-min-padding; } @include below-two-margins { @@ -73,7 +74,7 @@ div.highlight table { } @include below-one-margin { - position: initial; + left: 0; } } @@ -82,8 +83,7 @@ div.highlight table { background-color: $primary-color; border: none; color: white; - transition: color 0.25s; - transition: background-color 0.25s; + transition: color 0.25s, background-color 0.25s; text-align: left; &:focus { diff --git a/themes/vanilla/assets/scss/toc.scss b/themes/vanilla/assets/scss/toc.scss index 344884e..c540ce5 100644 --- a/themes/vanilla/assets/scss/toc.scss +++ b/themes/vanilla/assets/scss/toc.scss @@ -3,13 +3,6 @@ $toc-color: $code-color; $toc-border-color: $code-border-color; -$toc-float-max-width: 20rem; - -@mixin below-max-toc-width { - @media screen and (max-width: 2.5rem + 1.5 * $toc-float-max-width + 2 * $container-min-padding){ - @content; - } -} .table-of-contents { @include margin-content; @@ -24,7 +17,7 @@ $toc-float-max-width: 20rem; font-weight: bold; font-size: 1.2em; display: block; - margin-bottom: 1rem; + margin-bottom: 0.5rem; } #TableOfContents > ul { @@ -32,27 +25,17 @@ $toc-float-max-width: 20rem; } nav { - width: auto; margin: 0px; } ul { - position: relative; list-style: none; padding-left: 2rem; margin: 0px; } - li { - position: relative; - } - a { padding: 0; - vertical-align: top; - overflow-x: hidden; - text-overflow: ellipsis; - max-width: 100%; } div.wrapper {