2024-02-22 19:49:48 -05:00
|
|
|
:root {
|
|
|
|
/* Base colors */
|
|
|
|
--background-color: #FFFFFF; /* Light background */
|
|
|
|
--text-color: #333333; /* Dark text for contrast */
|
|
|
|
--paper-background-color: #F0F0F0;
|
2024-03-05 21:10:21 -05:00
|
|
|
--plot-background-color: #FFFFFF;
|
2024-02-22 19:49:48 -05:00
|
|
|
--accent-color: #6200EE; /* For buttons and interactive elements */
|
|
|
|
|
|
|
|
/* Axis and grid lines */
|
|
|
|
--axis-color: #CCCCCC;
|
|
|
|
--grid-line-color: #EEEEEE;
|
|
|
|
}
|
|
|
|
|
|
|
|
@media (prefers-color-scheme: dark) {
|
|
|
|
:root {
|
|
|
|
/* Solarized Dark Base Colors */
|
|
|
|
--background-color: #002b36; /* base03 */
|
|
|
|
--paper-background-color: #003c4a;
|
2024-03-05 20:39:03 -05:00
|
|
|
--plot-background-color: rgb(24, 34, 21);
|
2024-02-22 19:49:48 -05:00
|
|
|
--text-color: #839496; /* base0 */
|
|
|
|
--accent-color: #268bd2; /* blue */
|
|
|
|
|
|
|
|
/* Axis and grid lines */
|
|
|
|
--axis-color: #586e75; /* base01 */
|
|
|
|
--grid-line-color: #073642; /* base02 */
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
body {
|
|
|
|
background-color: var(--background-color);
|
|
|
|
color: var(--text-color);
|
|
|
|
}
|
|
|
|
|
|
|
|
input, textarea, select, option, button {
|
|
|
|
background-color: var(--paper-background-color);
|
|
|
|
border: 1px solid var(--accent-color);
|
|
|
|
color: var(--text-color);
|
|
|
|
padding: 8px;
|
|
|
|
border-radius: 4px;
|
|
|
|
}
|
|
|
|
|
2024-02-20 20:53:07 -05:00
|
|
|
body * {
|
|
|
|
padding-left: .3em;
|
|
|
|
padding-right: .3em;
|
|
|
|
}
|
|
|
|
|
2024-02-20 20:49:14 -05:00
|
|
|
.column-flex {
|
2024-02-20 20:53:07 -05:00
|
|
|
display: flex;
|
|
|
|
flex-direction: column;
|
2024-02-20 20:49:14 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.row-flex {
|
2024-02-20 20:53:07 -05:00
|
|
|
display: flex;
|
|
|
|
flex-direction: row;
|
2024-02-20 20:49:14 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.flex-item-grow {
|
2024-02-20 20:53:07 -05:00
|
|
|
flex: 1 0 auto;
|
2024-02-20 20:49:14 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
.flex-item-shrink {
|
2024-02-20 20:53:07 -05:00
|
|
|
flex: 0 1 auto;
|
2024-02-20 20:49:14 -05:00
|
|
|
}
|
2024-02-22 20:09:32 -05:00
|
|
|
|
2024-02-27 18:13:26 -05:00
|
|
|
graph-plot {
|
2024-02-22 20:09:32 -05:00
|
|
|
background-color: var(--paper-background-color);
|
|
|
|
border-radius: 4px;
|
|
|
|
display: flex;
|
|
|
|
flex-direction: column;
|
|
|
|
}
|