fish-shell/share/tools/web_config/fishconfig.css

671 lines
13 KiB
CSS
Raw Normal View History

body {
background: linear-gradient(to bottom, #a7cfdf 0%, #23538a 100%);
/* List explained in the doc theme pydoctheme.css */
font-family: "Segoe UI", system-ui, sans-serif;
color: #222;
}
.prompt_demo, .prompt_demo_text, .data_table_row, .colorpicker_text_sample_tight, .colorpicker_text_sample, .history_text, pre, code, tt {
font-family: ui-monospace, SFMono-Regular, SF Mono, Menlo, Consolas, "Ubuntu Mono", "Hack", "Noto Sans Mono", Liberation Mono, monospace;
}
#ancestor {
width: 90%;
margin-left: auto;
margin-right: auto;
-moz-box-shadow: 0 0 1px 1px #333;
-webkit-box-shadow: 0 0 1px 1px #333;
box-shadow: 0 0 5px 1px #333;
border-radius: 8px;
}
#parent {
width: 100%;
min-height: 480px;
margin-top: 12px;
}
#tab_parent {
display: table;
width: 100%;
height: 50px;
overflow-wrap: anywhere;
}
.tab {
display: table-cell;
padding-bottom: 15px;
padding-top: 15px;
padding-left: 3px;
padding-right: 3px;
font-size: 16pt;
font-weight: 500;
text-align: center;
background-color: white;
cursor: pointer;
}
.tab:hover,
#tab_contents .master_element:hover,
.color_scheme_choice_container:hover,
.prompt_choices_list > .ng-scope:hover
{
background-color: #DDE;
}
#tab_parent :first-child {
border-top-left-radius: 8px;
border-left: none;
}
#tab_parent :last-child {
border-top-right-radius: 8px;
}
.selected_tab, .selected_tab:hover {
background-color: #eeeefa;
border-bottom: none;
}
#tab_contents {
padding-top: 20px;
padding-bottom: 20px;
width: 100%;
min-height: 90vh;
background-color: #eeeefa;
border-bottom-left-radius: 8px;
border-bottom-right-radius: 8px;
margin-bottom: 20px;
position: relative;
box-sizing: border-box;
}
/* This may be placed directly inside a tab, to prevent its contents from growing vertically. */
.height_limiter {
display: flex;
flex-direction: column;
}
.footer {
clear: both;
height: 30px;
}
.master_detail_table {
display: table;
margin-top: 10px;
margin-left: 12px;
margin-right: 12px;
}
.master {
display: table-cell;
text-align: right;
min-width: 200px;
font-size: 16pt;
padding-bottom: 20px;
padding-top: 35px;
vertical-align: top;
}
.detail {
display: table-cell;
border: 1px solid #555;
background-color: #ffffff;
padding-top: 30px;
padding-bottom: 20px;
padding-left: 30px;
padding-right: 30px;
border-radius: 5;
width: 100%;
}
.detail_function pre {
white-space: pre-wrap !important;
width: 100%;
font-size: 11pt;
}
/* The colours used for function highlighting are taken from the fish
* default colour scheme, defined in js/colorutils.js.
* These could be pulled from the current terminal (but the background colour
* might be different), or dynamically from colorutils.js.
*/
.detail_function .fish_color_autosuggestion {
color: #555;
}
.detail_function .fish_color_command {
color: #005fd7;
}
.detail_function .fish_color_param {
color: #00afff;
}
.detail_function .fish_color_redirection {
color: #00afff;
}
.detail_function .fish_color_comment {
color: #990000;
}
.detail_function .fish_color_error {
color: #ff0000;
}
.detail_function .fish_color_escape {
color: #00a6b2;
}
.detail_function .fish_color_operator {
color: #00a6b2;
}
.detail_function .fish_color_quote {
color: #999900;
}
.detail_function .fish_color_statement_terminator {
color: #009900;
}
.master_element {
cursor: pointer;
padding-top: 6px;
padding-bottom: 11px;
padding-left: 5px;
2017-01-16 06:51:10 +08:00
padding-right: 22px;
font-size: 12pt;
/* Make our border overlap the detail, even if we're unselected (so it doesn't jump when selected) */
position: relative;
left: 1px;
border-bottom-style: solid;
border-bottom-width: 0px;
}
.selected_master_elem {
border: 1px solid #555;
border-right: none;
background-color: #ffffff;
2017-01-16 06:51:10 +08:00
border-top-left-radius: 5;
border-bottom-left-radius: 5;
2017-01-16 06:51:10 +08:00
/* Pad one less than .master_element, to accomodate our border. */
padding-top: 5px;
padding-bottom: 10px;
padding-left: 4px;
}
.master_element_text {
text-decoration: none;
padding-bottom: 1px;
border-bottom-style: inherit;
border-bottom-color: inherit;
border-bottom-width: 1px;
}
.master_element_description {
text-decoration: none;
padding-top: 15px;
font-size: 10pt;
border-bottom-style: inherit;
border-bottom-color: inherit;
border-bottom-width: 1px;
display: none;
}
.selected_master_elem > .master_element_description {
display: inline;
}
/* We have a newline between the label and description; hide it initially, but show it when it's selected */
.master_element > br {
display: none;
}
.selected_master_elem > br {
display: inherit;
}
/* Set this class to suppress the border bottom on master_element_texts with visible descriptions */
.master_element_no_border {
border-bottom-width: 0;
}
.colorpicker_term256 {
border: solid #444 1px;
border-collapse: collapse;
}
.colorpicker_modifiers {
margin-top: 10px;
display: inline-block;
margin-left: auto;
margin-right: auto;
color: #000;
font-size: smaller;
}
.colorpicker_modifier_cell {
cursor: pointer;
display: inline-block;
text-align: center;
border: groove #333 2px;
padding: 5px;
margin-top: 5px;
margin-left: auto;
margin-right: auto;
}
.modifier_cell_selected {
border-color: #000;
background-color: #444;
}
.data_table {
table-layout: fixed;
width: 100%;
padding-left: 10px;
padding-right: 10px;
}
.data_table_row {
}
.data_table_cell {
padding-top: 5px;
padding-bottom: 5px;
vertical-align: top;
overflow: hidden;
border-bottom: #444 dotted 1px;
word-wrap: break-word;
}
.raw_binding {
padding-left: 20px;
font-family: monospace;
}
.history_text {
padding-top: 5px;
padding-bottom: 5px;
vertical-align: top;
overflow: hidden;
border-bottom: #444 dotted 1px;
word-wrap: break-word;
}
.history_delete {
width: 20px;
border-bottom: #444 dotted 1px;
}
/* The CSS we apply when a table row is filtered */
.data_table_row_filtered {
display: none;
}
.no_overflow {
text-overflow: ellipsis;
white-space: nowrap;
}
.colorpicker_target {
margin: 0 0 -50px 0;
position: relative;
bottom: 47px;
float: left; /* for some reason this makes the cells that it overlaps (before adjusting its bottom) clickable in Safari */
}
.colorpicker_target_tab {
cursor: pointer;
color: #555;
border: solid 1px #555;
padding-top: 5px;
padding-bottom: 5px;
padding-left: 7px;
padding-right: 7px;
display: inline-block;
background-color: black;
margin-right: -2px;
min-width: 110px;
text-align: center;
}
.colorpicker_target_selected {
background-color: #181818; /* same as #detail */
color: white;
}
.colorpicker_term256_row {
padding: 0;
}
.colorpicker_term256_cell {
width: 18px;
height: 18px;
border: solid black 1px;
padding: 0;
}
.colorpicker_term256_selection_indicator {
width: 18px;
height: 16px;
margin: -4px;
border: solid white 4px;
position: relative;
z-index: 2;
}
.colorpicker_cell_selected {
width: 12px;
height: 12px;
}
.colorpicker_text_sample,
.colorpicker_text_sample_tight {
font-size: 12pt;
padding: 25px;
margin: 5px 20px 25px 20px; /* top right bottom left */
cursor: pointer;
line-height: 1.8em;
border: solid #777 1px;
position: relative; /* so that our absolutely positioned elements work */
}
.cs_clickable {
border: dotted 1px #777;
padding: 4px;
margin: -5px;
}
.cs_editing {
border: solid 3px #3399ff;
padding: 4px;
margin: -7px;
}
.colorpicker_text_sample_tight {
font-size: 11pt;
line-height: 1.5em;
margin: 0;
width: fit-content;
padding: 1em;
white-space: nowrap;
overflow: hidden;
text-overflow: clip;
}
.color_picker_background_cells {
position: absolute;
right: 0px;
top: 0px;
}
.color_picker_background_cells div {
width: 24px;
height: 24px;
border-style: solid;
border-color: #777;
border-width: 0 0 1px 1px; /* top right bottom left */
float: left;
}
.color_picker_background_cells span {
float: left;
font-size: 12pt;
padding-top: 2px;
padding-right: 8px;
cursor: pointer;
}
.color_scheme_choice_label,
.prompt_demo_choice_label {
margin-left: 10px;
margin-bottom: 3px;
cursor: pointer;
font-size: 12pt;
white-space: normal;
}
.color_scheme_choices_scrollview,
.prompt_choices_scrollview {
padding-top: 5px;
overflow-y: scroll;
}
.prompt_choices_scrollview {
position: relative;
}
.color_scheme_choices_list,
.prompt_choices_list {
overflow-y: hidden; /* makes our height account for floats */
padding: 0 10px 15px 10px; /* top right bottom left */
bottom: 0px;
}
.color_scheme_choices_list {
display: flex;
flex-wrap: wrap;
}
.color_scheme_choice_container {
padding: 5px;
flex-grow: 1;
}
.fake_cursor {
background-color: #999;
}
.error_msg {
color: red;
font-size: 12pt;
margin-left: 24pt;
margin-top: 5pt;
margin-bottom: 5pt;
}
img.delete_icon {
width: 20px;
height: 20px;
cursor: pointer;
text-decoration: none;
border: none;
}
#table_filter_container {
/* top right bottom left*/
padding: 0 10 10 30;
text-align: right;
position: relative;
bottom: 10px;
}
.filter_text_box {
width: 250px;
padding: 5 10 5 10;
border-radius: 15px;
font-size: 12pt;
font-weight: bold;
}
.prompt_demo,
.current_prompt {
background-color: #000;
font-size: 12pt;
2021-04-15 02:35:53 +08:00
padding: 10px;
margin: 5px 5px 25px 5px; /* top right bottom left */
cursor: pointer;
line-height: 1.8em;
border: solid #333 1px;
position: relative; /* so that our absolutely positioned elements work */
white-space: nowrap;
overflow: hidden;
text-overflow: ellipsis;
color: #c0c0c0; /* set_color normal, assume white (not brwhite) */
}
.prompt_demo {
color: #aaa;
white-space: pre;
}
.unbordered {
border: none;
padding-top: 0;
padding-bottom: 0;
}
.save_button,
.prompt_save_button,
.colors_close_button,
.customize_theme_button,
.generic_button {
border-radius: 5px;
border: solid rgba(71, 71, 71, 0.5) 1px;
font-size: 13pt;
background-color: rgba(128, 128, 128, 0.4);
color: #fff;
}
.save_button:hover,
.customize_theme_button:hover,
.generic_button:hover {
border-color: rgba(171, 171, 171, 0.9);
}
.button_highlight {
background-color: rgba(128, 128, 128, 0.6);
}
.prompt_save_button {
background-color: #333;
border: solid #525252 1px;
2013-11-09 20:56:44 +08:00
color: #ffffff;
margin: 2px 20px 25px; /* top right bottom left */
font-size: 12pt;
2013-11-09 20:56:44 +08:00
}
.prompt_demo_text {
white-space: pre;
line-height: 170%;
padding: 4px 12px;
font-size: 14pt;
top: 0px;
bottom: 0px;
vertical-align: middle;
display: table-cell;
height: 72px; /* this is really the min height */
}
.prompt_function {
2013-11-09 20:56:44 +08:00
display: block;
border: 1px solid #555;
background-color: #181818;
margin: 5px 20px 5px;
2013-11-09 20:56:44 +08:00
border-radius: 5;
}
.prompt_function_text {
white-space: pre-wrap;
padding: 15px 3px;
2013-11-09 20:56:44 +08:00
width: 100%;
height: 25%;
overflow: auto;
}
.external_link_img {
width: 16px;
height: 16px;
vertical-align: text-top;
margin-left: 10px;
2018-09-09 15:26:38 +08:00
}
.paginator {
border-spacing: 0;
border-collapse: collapse;
display: inline;
vertical-align: bottom;
margin-right: 15px;
2018-09-09 15:26:38 +08:00
}
.paginator td {
border: solid 1px #777;
padding: 8px;
2018-09-09 15:26:38 +08:00
}
.paginator .prev,
.paginator .next {
font-size: 11pt;
2018-09-09 15:26:38 +08:00
}
.paginator a {
text-decoration: none;
text-align: center;
color: #0080aa;
font-size: larger;
2018-09-09 15:26:38 +08:00
}
.paginator .disabled a {
color: #bbb;
2018-09-09 15:26:38 +08:00
background-color: transparent;
cursor: default;
}
@media screen and (max-width: 1000px) {
/* On small screens remove the margins to leave more for the actual content */
body {
width: 100%;
margin: 0 0 0 0;
}
#ancestor {
width: 100%;
}
#parent {
margin-top: 0;
}
#tab_contents {
margin-bottom: 0;
}
}
2021-06-02 23:57:33 +08:00
@media (prefers-color-scheme: dark) {
body {
background: linear-gradient(to top, #1f1f3f 0%,#051f3a 100%);
2021-06-02 23:57:33 +08:00
color: #DDD;
}
div#ancestor {
box-shadow: 0 0 5px 1px #000;
}
.tab {
background-color: black;
border: 1px solid #222;
border-top: none;
2021-06-02 23:57:33 +08:00
}
.tab:hover,
#tab_contents .master_element:hover,
.color_scheme_choice_container:hover,
.prompt_choices_list > .ng-scope:hover
{
background-color: #223;
}
.selected_tab, .selected_tab:hover {
background-color: #202028;
border-bottom: none;
2021-06-02 23:57:33 +08:00
}
#tab_contents {
background-color: #202028;
2021-06-02 23:57:33 +08:00
}
.detail, .selected_master_elem {
background-color: black;
}
input {
background-color: #222;
color: #AAA;
}
}
.print_only {
display: none;
}