diff options
author | Jeremy Rifkin <51220084+jeremy-rifkin@users.noreply.github.com> | 2022-06-25 09:50:15 -0400 |
---|---|---|
committer | Jeremy Rifkin <51220084+jeremy-rifkin@users.noreply.github.com> | 2022-06-25 10:07:03 -0400 |
commit | 2a4d9d5c03a91a7cd7cd10b9a3c59fa1e60591a1 (patch) | |
tree | b744a759c8840e982bf43b433d00ba385b4b0e4f | |
parent | bf20770fcea1d137a8b4cae19b3d0f2b89813621 (diff) | |
download | compiler-explorer-gh-3468.tar.gz compiler-explorer-gh-3468.zip |
Updated theme rulesgh-3468
-rw-r--r-- | static/themes/dark-theme.scss | 8 | ||||
-rw-r--r-- | static/themes/default-theme.scss | 35 |
2 files changed, 30 insertions, 13 deletions
diff --git a/static/themes/dark-theme.scss b/static/themes/dark-theme.scss index bcafa052e..f546f2580 100644 --- a/static/themes/dark-theme.scss +++ b/static/themes/dark-theme.scss @@ -554,11 +554,3 @@ a { color: #17a2b8; background-color: rgba(49, 54, 60, 0.85); } - -.llvm-opt-pipeline-body .passes-column .passes-list div { - background: rgba(255, 255, 255, 0.1); - &:hover, - &.active { - background: rgba(255, 255, 255, 0.2); - } -} diff --git a/static/themes/default-theme.scss b/static/themes/default-theme.scss index b86e96474..71d4ee9de 100644 --- a/static/themes/default-theme.scss +++ b/static/themes/default-theme.scss @@ -352,10 +352,35 @@ div.argmenuitem span.argdescription { border: 1px solid #d2d3d4; } -.llvm-opt-pipeline-body .passes-column .passes-list div { - background: rgba(0, 0, 0, 0.1); - &:hover, - &.active { - background: rgba(0, 0, 0, 0.2); +.llvm-opt-pipeline-body { + .passes-column { + color: black; + border-right: 1px solid #d2d3d4; + .passes-list div { + background: #f5f5f5; + border: 1px solid #d2d3d4; + &.firstMachinePass { + &:before { + background: white; + } + } + &:hover, + &.active { + background: lighten(#f5f5f5, 5%); + } + &.changed { + color: #148624; + } + } + } + .passes-column-resizer { + background-color: #f4f4f4; + transition: background-color 200ms ease; + &:hover { + background-color: #bbbbbb; + } + } + .monaco-placeholder { + border-left: 1px solid #d2d3d4; } } |