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; 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; border-top-left-radius: 5; border-bottom-left-radius: 5; /* 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; 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; color: #ffffff; margin: 2px 20px 25px; /* top right bottom left */ font-size: 12pt; } .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 { display: block; border: 1px solid #555; background-color: #181818; margin: 5px 20px 5px; border-radius: 5; } .prompt_function_text { white-space: pre-wrap; padding: 15px 3px; width: 100%; height: 25%; overflow: auto; } .external_link_img { width: 16px; height: 16px; vertical-align: text-top; margin-left: 10px; } .paginator { border-spacing: 0; border-collapse: collapse; display: inline; vertical-align: bottom; margin-right: 15px; } .paginator td { border: solid 1px #777; padding: 8px; } .paginator .prev, .paginator .next { font-size: 11pt; } .paginator a { text-decoration: none; text-align: center; color: #0080aa; font-size: larger; } .paginator .disabled a { color: #bbb; 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; } } @media (prefers-color-scheme: dark) { body { background: linear-gradient(to top, #1f1f3f 0%,#051f3a 100%); color: #DDD; } div#ancestor { box-shadow: 0 0 5px 1px #000; } .tab { background-color: black; border: 1px solid #222; border-top: none; } .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; } #tab_contents { background-color: #202028; } .detail, .selected_master_elem { background-color: black; } input { background-color: #222; color: #AAA; } }