div#top, div.header, div.contents {
- margin-left: auto;
- margin-right: auto;
- width: 960px;
+ margin-left: auto;
+ margin-right: auto;
+ width: 960px;
}
.footer {
- display: none;
+ display: none;
}
-span.TODO::before {
- content: '🚧 ';
+dl.todo dt::before {
+ content: '🚧 ';
+}
+
+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;
+ /* Bootstrap icon: https://icons.getbootstrap.com/icons/box-arrow-up-right/ */
+ background-image: 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");
+ background-position: center;
+ background-repeat: no-repeat;
+ background-size: contain;
+ display: inline-block;
+}
+
+/*******************************************************************************
+ * 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;
}