Skip to content
Snippets Groups Projects
Commit 8e98542b authored by Loïc Correnson's avatar Loïc Correnson Committed by David Bühler
Browse files

[ivette/astinfo] conforms to color mode

parent a2a8c73c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
ivette/src/frama-c/kernel/style.css
+ 14
− 10
View file @ 8e98542b
...@@ -14,11 +14,11 @@ ...@@ -14,11 +14,11 @@
/* -------------------------------------------------------------------------- */ /* -------------------------------------------------------------------------- */
.kernel-text { .kernel-text {
white-space: pre; white-space: pre;
} }
.kernel-text-marker:hover { .kernel-text-marker:hover {
background: lightgreen; background: var(--code-hover);
} }
/* -------------------------------------------------------------------------- */ /* -------------------------------------------------------------------------- */
...@@ -30,7 +30,7 @@ ...@@ -30,7 +30,7 @@
} }
.hovered-marker { .hovered-marker {
background-color: lightblue; background-color: var(--code-hover);
} }
.dead-code { .dead-code {
...@@ -62,7 +62,7 @@ ...@@ -62,7 +62,7 @@
.globals-attr { .globals-attr {
font-size: smaller; font-size: smaller;
font-weight: lighter; font-weight: lighter;
color: #aaa; color: var(--info-text);
} }
.globals-function-section { .globals-function-section {
...@@ -80,12 +80,16 @@ ...@@ -80,12 +80,16 @@
padding-bottom: 2px; padding-bottom: 2px;
} }
.astinfo-section.selected {
background: var(--code-select);
}
.astinfo-section.hovered { .astinfo-section.hovered {
background: #ddd; background: var(--code-hover);
} }
.astinfo-section.transient { .astinfo-section.selected.hovered {
background: #f5d69e; background: var(--code-select-hover);
} }
.astinfo-folderbutton { .astinfo-folderbutton {
...@@ -99,13 +103,13 @@ ...@@ -99,13 +103,13 @@
} }
.astinfo-markerkind { .astinfo-markerkind {
background: #b1c6dc; background: var(--selected-element);
position: relative; position: relative;
top: -1px; top: -1px;
border-radius: 2px; border-radius: 2px;
font-size: 7pt; font-size: 7pt;
padding: 2px; padding: 2px;
color: black; color: var(--text);
user-select: none; user-select: none;
margin-right: 3pt; margin-right: 3pt;
} }
...@@ -133,7 +137,7 @@ ...@@ -133,7 +137,7 @@
text-align: center; text-align: center;
margin-top: 1px; margin-top: 1px;
margin-left: 8px; margin-left: 8px;
color: #999; color: var(--info-text);
font-size: smaller; font-size: smaller;
} }
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment