/* If you need to borrow something from below, that's fine */ body { margin: 0px; font-size: 12pt; font-family: sans-serif; background-color: #f8f8ee; } .sticker { ruby-position: under; } .sticker rt { background-color: #ff08; font-size: 8pt; } header { background-color: #acae89; color: #fff; border-bottom: 1px solid #888; } h1, h2 { font-weight: normal; } header nav a { text-decoration: none; color: #000; margin-right: 1ch; padding: .5ch; display: inline-block; } header nav a:hover, header nav a:focus { background: #2f4858; color: #fff !important; } article { max-width: 160ch; margin-left: auto; margin-right: auto; } ul.semantic-results:empty { display: none; } ul.semantic-results { list-style: none; padding: 0px; } ul.semantic-results li { padding-left: 0px; } ul.semantic-results a { color: #c00; } .cards { display: flex; flex-direction: row; flex-wrap: wrap; justify-content: flex-start; padding-left: 1ch; gap: 1ch; } article > section > p { display: none; } .w3m-helper { display: none; } /* .card.rs-rank-1,.card.rs-rank-2,.card.rs-rank-3,.card.rs-rank-4 { border: 1px solid #fe0; box-sizing: border-box; box-shadow: 0 0 5px #fe0; } */ .big .card { min-width: 40ch; } .card .info { flex-grow: 1; padding-left: 1ch; line-height: 1.6; } .card { flex-basis: 20ch; border: 2px #ccc; background-color: #fff; min-width: 30ch; display: flex; flex-direction: column; margin-left: 2px; margin-right: 2px; margin-bottom: 8px; border-left: 1px solid #ecb; border-top: 1px solid #ecb; box-shadow: #0008 0 0 5px; } .card h2 a { display: block !important; } .card img { width: 30ch; height: 22.5ch; /* 4:3 aspect ratio, card width = 30, height = 30*3/4 */ } .card a:focus img { filter: sepia(100%); box-shadow: #444 0px 0px 20px; } .card a:focus:not(.nofocus) { background-color: black; color: white; } .problems ul { flex-grow: 1; } .card .description { padding-left: 1ch; padding-right: 1ch; flex-grow: 1; overflow: auto; -webkit-hyphens: auto; -moz-hyphens: auto; -ms-hyphens: auto; hyphens: auto; } .card h2 { color: #fff; background-color: #2f4858; font-size: medium; font-family: serif; padding: .5ch .5ch .5ch .5ch; margin: 0px 0px 0px 0px; font-family: 'Trebuchet', 'Noto Sans', sans-serif; text-decoration: none; border-bottom-right-radius: 2ch; } .card h2 a { color: #fff; text-decoration: none; } .problems h2, .info h2 { background-color: #482f58; } .browse-result { background-color: #eee; } .semantic h2, .browse-result .h2, .definition h2 { background-color: #48582f; } .search-result .url a { font-family: monospace; margin: 1ch; font-size: 8pt; background-color: #3F5F6F; display: block; margin: 0px; padding: 1ch; word-break: break-all; color: #fff; } .search-result .url a:visited { color: #FCC; } .card .utils { display: flex; font-size: 10pt; padding: 1ch; background-color: #eee; } .card .utils > * { margin-right: 1ch; margin-left: 1ch; } .card .utils a { color: #000; } .card.definition { min-height: 10ch; } .card.definition .description { padding: 2ch; font-size: 12pt; } .search-result .meta { flex-grow: 2; text-align: right; } .search-result .meta > * { padding-left: 4px; } .search-box { display: flex; flex-direction: row; background-color: #fff; margin-bottom: 4ch; box-shadow: #ccc 4px 4px 5px; } .search-box h1 { color: #fff; background-color: #2f4858; font-size: medium; font-family: serif; padding: .5ch .5ch .5ch .5ch; margin: 0px 0px 0px 0px; border: 2px groove; max-width: 100%; font-size: 16pt; } .search-box .input { flex-grow: 2; padding: .5ch; } select { color: #444; background-color: #fff; border: 1px solid #444; border-radius: 5px; } .search-box .settings { padding: .5ch; } .search-box .extra { padding: 1ch; } .search-box .input { display: flex; gap: .5ch; } .search-box input[name="query"] { flex-grow: 2; padding: .5ch; font-size: 12pt; font-family: 'fixedsys', monospace, serif; border: 2px inset #000; background: #fff; color: #444; } .search-box input[name="query"]:focus { color: #000; } .search-box input[type="submit"] { padding: .5ch; min-width: 5ch; font-size: 12pt; font-family: 'fixedsys', monospace, serif; border: 2px groove #ccc; background-color: #eee; } .search-box .settings > * { margin-top: .5ch; } footer { padding: 2ch; margin: 16ch 0px 0px 0px; background-color: #acae89; height: 20ch; font-size: 10pt; } a.underline { text-decoration: underline !important; } .suggestions { background-color: #fff; padding: .5ch; margin-top: 3.2ch; position: absolute; display: inline-block; width: 300px; border-left: 1px solid #ccc; border-top: 1px solid #ccc; box-shadow: 5px 5px 5px #888; z-index: 10; } .suggestions a { display: block; color: #000; font-size: 12pt; font-family: 'fixedsys', monospace, serif; text-decoration: none; outline: none; } .suggestions a:focus { display: block; background-color: #000; color: #eee; } @media only screen and (max-device-width: 1024px) { .card { margin-right: 2ch; } .card .utils a { padding: 1ch; } .cards { justify-content: center; } .suggestions { display: none; } } @media only screen and (max-device-width: 800px) { .search-box { flex-direction: column; } header nav a { padding: 1ch !important; } .card { flex-basis: 40ch !important; max-width: unset; margin-bottom: 2ch; margin-right: unset; } .card img { width: 100%; height: 100%; } .cards { padding-left: unset; padding-right: 5px; } } /* https://www.youtube.com/watch?v=v0nmHymgM7Y */ @media (prefers-color-scheme: dark) { a { color: #acf; } .card { background-color: #222; color: #aaa; box-shadow: #0008 0 0 5px; border: none; } .card .utils { background-color: #000; color: #fff; } .card .utils a { color: #acf; } header { background-color: #000; } footer { background-color: #000; color: #fff; } body { background-color: #444; } header nav a { color: #eee; } .search-box { background-color: #222; box-shadow: #0008 0 0 5px; } .search-box h1 { background-color: unset; border: none; } /* .card.rs-rank-1,.card.rs-rank-2,.card.rs-rank-3,.card.rs-rank-4 { border: 2px solid #fe05; box-sizing: border-box; box-shadow: 0 0 20px #fe03; }*/ .search-box input[name="query"] { background-color: #000 !important; color: #aaa; border: 1px solid #888; } .search-box input[name="query"]:focus { color: #eee; } .search-box input[type="submit"] { background-color: #000 !important; color: #fff; border: 1px solid #888; } .card img { /* White images turn into an unpleasant death laser if you put them in an otherwise dark page */ filter: brightness(80%) saturate(140%); } input { color: #fff; } .card a:focus img { filter: brightness(100%); box-shadow: #ccca 0px 0px 50px; } .card a:focus:not(.nofocus) { background-color: white; color: black; } select { color: #fff; background-color: #000; border: 1px solid #ccc; border-radius: 5px; } .suggestions { background-color: #000; border: 1px solid #444; box-shadow: 2px 2px 5px #000; } .suggestions a { color: #fff; } .suggestions a:focus { background-color: #2f4858; } }