| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100 |
- html.dark-mode {
- --page-background-color: #000410;
- --fragment-background-color: #192027;
- }
- div#top, div.header, div.contents {
- margin-left: auto;
- margin-right: auto;
- max-width: 960px;
- }
- .footer {
- display: none;
- }
- dl.todo dt::before {
- content: '🚧 ';
- }
- dl.note dd {
- margin-inline-start: revert;
- }
- span.todo::before {
- content: '🚧 ';
- }
- /* Append external links with a distinctive icon */
- a[href^="http://"]::after,
- a[href^="https://"]::after
- {
- content: "";
- width: 11px;
- height: 11px;
- margin-left: 4px;
- background-color: var(--page-link-color);
- /* Bootstrap icon: https://icons.getbootstrap.com/icons/box-arrow-up-right/ */
- mask: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='16' height='16' fill='currentColor' class='bi bi-box-arrow-up-right' viewBox='0 0 16 16'%3E%3Cpath fill-rule='evenodd' d='M8.636 3.5a.5.5 0 0 0-.5-.5H1.5A1.5 1.5 0 0 0 0 4.5v10A1.5 1.5 0 0 0 1.5 16h10a1.5 1.5 0 0 0 1.5-1.5V7.864a.5.5 0 0 0-1 0V14.5a.5.5 0 0 1-.5.5h-10a.5.5 0 0 1-.5-.5v-10a.5.5 0 0 1 .5-.5h6.636a.5.5 0 0 0 .5-.5z'/%3E%3Cpath fill-rule='evenodd' d='M16 .5a.5.5 0 0 0-.5-.5h-5a.5.5 0 0 0 0 1h3.793L6.146 9.146a.5.5 0 1 0 .708.708L15 1.707V5.5a.5.5 0 0 0 1 0v-5z'/%3E%3C/svg%3E");
- mask-position: center;
- mask-repeat: no-repeat;
- mask-size: contain;
- display: inline-block;
- }
- code {
- padding: .2em .4em;
- margin: 0;
- vertical-align: baseline;
- font-family: var(--font-family-monospace);
- font-size: 85%;
- white-space: break-spaces;
- background-color: var(--fragment-background-color);
- color: var(--fragment-foreground-color);
- border-radius: 6px;
- }
- /*******************************************************************************
- * Error index
- ******************************************************************************/
- div.example-container {
- display: flex;
- flex-flow: row wrap;
- justify-content: space-between;
- gap: 1em;
- }
- div.example {
- flex-grow: 1;
- overflow-x: auto;
- margin-top: 1em;
- }
- div.example-inner {
- height: 100%;
- display: flex;
- flex-direction: column;
- }
- div.example-title {
- padding: 0 0 1em 0;
- font-style: italic;
- }
- div.example table code {
- /* Allow to keep 2 examples side by side */
- font-size: 0.72rem;
- }
- div.example figure {
- margin: 0;
- }
- figcaption {
- font-style: italic;
- }
- figcaption p {
- margin: 0;
- }
|