1 div#top, div.header, div.contents {
19 /* Append external links with a distinctive icon */
20 a[href^="http://"]::after,
21 a[href^="https://"]::after
27 /* Bootstrap icon: https://icons.getbootstrap.com/icons/box-arrow-up-right/ */
28 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");
29 background-position: center;
30 background-repeat: no-repeat;
31 background-size: contain;
32 display: inline-block;
35 /*******************************************************************************
37 ******************************************************************************/
39 div.example-container {
42 justify-content: space-between;
55 flex-direction: column;