programmingfonts/index.css

468 lines
9.3 KiB
CSS
Raw Normal View History

@font-face {
font-family: 'ui-font';
font-weight: normal;
font-style: normal;
src: url('merriweather/MerriweatherSans-Light.ttf');
}
@font-face {
font-family: 'ui-font';
font-weight: bold;
font-style: normal;
src: url('merriweather/MerriweatherSans-Bold.ttf');
}
@font-face {
font-family: 'ui-font';
font-weight: normal;
font-style: italic;
src: url('merriweather/MerriweatherSans-Italic.ttf');
}
@font-face {
font-family: 'ui-font';
font-weight: bold;
font-style: italic;
src: url('merriweather/MerriweatherSans-BoldItalic.ttf');
}
@font-face {
font-family: 'ui-font-serif';
font-weight: normal;
font-style: normal;
src: url('merriweather/Merriweather-Light.ttf');
}
@font-face {
font-family: 'ui-font-serif';
font-weight: bold;
font-style: normal;
src: url('merriweather/Merriweather-Bold.ttf');
}
@font-face {
font-family: 'ui-font-serif';
font-weight: normal;
font-style: italic;
src: url('merriweather/Merriweather-Italic.ttf');
}
@font-face {
font-family: 'ui-font-serif';
font-weight: bold;
font-style: italic;
src: url('merriweather/Merriweather-BoldItalic.ttf');
}
2017-07-29 18:37:12 +02:00
* {
2020-01-10 22:01:07 +01:00
box-sizing: border-box;
2017-07-29 18:37:12 +02:00
}
2020-10-15 20:45:24 +02:00
2017-01-20 17:59:59 +01:00
html {
--bright-white: #FFF;
--paper-white: #F5F5F5;
--ink-black: #2A2A2A;
--dark-grey: #4A4A4A;
--medium-grey: #777;
--light-grey: #E0E0E0;
--bright-grey: #ECECEC;
2020-01-10 22:01:07 +01:00
height: 100%;
min-height: 100%;
font-family: 'ui-font', sans-serif;
font-weight: normal;
2020-01-10 22:01:07 +01:00
font-size: 14px;
line-height: 20px;
background: var(--paper-white);
2019-01-23 20:38:17 +01:00
}
2020-10-15 20:45:24 +02:00
@media (prefers-color-scheme: dark) {
html {
--bright-white: #111;
--paper-white: #1F1F1F;
--ink-black: #ECECEC;
--dark-grey: #E0E0E0;
--medium-grey: #808080;
--light-grey: #4A4A4A;
--bright-grey: #2A2A2A;
}
}
2019-01-23 20:38:17 +01:00
body {
2020-01-10 22:01:07 +01:00
height: 100%;
min-height: 100%;
background: var(--paper-white);
color: var(--ink-black);
2017-01-20 17:59:59 +01:00
}
h1 {
2020-01-10 22:01:07 +01:00
margin: 0;
padding: .25em 0 0 0;
font-weight: bold;
2020-01-10 22:01:07 +01:00
font-size: 14px;
2017-01-20 17:59:59 +01:00
}
p {
2020-01-10 22:01:07 +01:00
padding: 0;
2017-07-28 23:07:09 +02:00
}
a,
a:link,
a:visited,
a:hover,
a:active {
2020-01-10 22:01:07 +01:00
text-decoration: none;
color: inherit;
2017-07-28 23:07:09 +02:00
}
.screenreader-only {
width: 1px;
height: 1px;
position: absolute;
top: -999px;
left: -999px;
overflow:hidden
}
2019-06-10 14:58:21 +02:00
.no-smooth {
2020-01-10 22:01:07 +01:00
-webkit-font-smoothing: none;
2019-06-10 14:58:21 +02:00
}
2017-07-28 23:07:09 +02:00
.octicon {
2020-01-10 22:01:07 +01:00
fill: currentColor;
2017-01-20 17:59:59 +01:00
}
2020-05-20 22:11:03 +02:00
.main-wrapper {
2020-01-10 22:01:07 +01:00
width: 28em;
height: 100%;
max-height: 100%;
float: left;
position: relative;
z-index: 2;
border-right: 1px solid var(--medium-grey);
2020-01-10 22:01:07 +01:00
overflow: hidden;
2017-07-29 18:12:30 +02:00
}
2020-10-15 20:45:24 +02:00
@media (prefers-color-scheme: dark) {
.main-wrapper {
border-right-color: var(--paper-white);
}
}
2020-05-20 22:11:03 +02:00
main {
2020-01-10 22:01:07 +01:00
display: flex;
flex-direction: column;
width: 100%;
height: 100%;
}
section {
2020-01-10 22:01:07 +01:00
flex: 0;
flex-shrink: 0;
2017-07-28 21:27:31 +02:00
}
2019-06-10 14:58:21 +02:00
section#filters,
2017-07-28 21:27:31 +02:00
section.config {
2020-01-10 22:01:07 +01:00
display: grid;
grid-column-gap: 4px;
grid-row-gap: 4px;
grid-row-gap: 4px;
2020-01-10 22:01:07 +01:00
grid-template-columns: auto auto auto auto;
padding: 8px;
2020-01-10 22:01:07 +01:00
font-size: 10px;
background: var(--bright-grey);
2017-07-29 17:40:29 +02:00
}
2019-06-10 14:58:21 +02:00
section#filters {
2020-01-10 22:01:07 +01:00
align-items: stretch;
grid-template-columns: auto auto auto auto auto;
border-bottom: 1px solid var(--light-grey);
2019-06-10 20:58:18 +02:00
}
section#filters input,
section#filters select {
2020-01-10 22:01:07 +01:00
width: 100%;
margin: 0;
2019-06-10 14:58:21 +02:00
}
section#filters > div {
display: flex;
}
2019-06-10 14:58:21 +02:00
section.config {
border-top: 1px solid var(--light-grey);
}
2017-07-28 21:27:31 +02:00
section.config > * {
2020-01-10 22:01:07 +01:00
text-align: center;
padding: 0;
white-space: nowrap;
2017-01-20 17:59:59 +01:00
}
2017-07-28 23:07:09 +02:00
section.select-list {
2020-01-10 22:01:07 +01:00
flex: 1;
overflow: auto;
-webkit-overflow-scrolling: touch;
2017-07-28 23:07:09 +02:00
}
2019-01-23 21:08:51 +01:00
section.select-list:focus {
2020-01-10 22:01:07 +01:00
outline: none;
2019-01-23 21:08:51 +01:00
}
2020-01-10 21:45:53 +01:00
section.select-list > * {
2020-01-10 22:01:07 +01:00
overflow: hidden;
2020-01-10 21:45:53 +01:00
}
section.select-list [data-style='serif'] .name {
font-family: 'ui-font-serif', serif;
}
2017-07-28 23:07:09 +02:00
section.select-list .entry {
2020-01-10 22:01:07 +01:00
position: relative;
padding: 8px 12px;
}
section.select-list .entry:not(:first-child) {
border-top: 1px solid var(--light-grey);
2017-07-29 17:40:29 +02:00
}
section.select-list .entry:hover {
background: var(--bright-white);
}
section.select-list .entry.active {
background: var(--bright-white);
2017-07-28 23:07:09 +02:00
}
2020-01-10 21:45:53 +01:00
section.select-list .entry > a {
2020-01-10 22:01:07 +01:00
display: block;
flex: 1;
2020-01-10 21:45:53 +01:00
}
2019-06-10 14:58:21 +02:00
section.select-list .entry.filtered-out {
2020-01-10 22:01:07 +01:00
display: none;
2019-06-10 14:58:21 +02:00
}
2017-07-28 23:07:09 +02:00
section.select-list a[data-value] {
2020-01-10 22:01:07 +01:00
display: block;
width: 66.67%;
position: relative;
overflow: hidden;
2017-07-28 23:07:09 +02:00
}
section.select-list a:hover .name,
section.select-list a:active .name {
2020-01-10 22:01:07 +01:00
text-decoration: underline;
2017-07-28 23:07:09 +02:00
}
section.select-list .entry.active .name {
2020-01-10 22:01:07 +01:00
font-weight: bold;
2017-07-29 17:40:29 +02:00
}
2017-07-30 12:12:34 +02:00
section.select-list a.website {
2020-01-10 22:01:07 +01:00
position: absolute;
top: 6px;
right: 32px;
2020-10-14 19:51:46 +02:00
padding: 0 4px;
2020-01-10 22:01:07 +01:00
font-size: 10px;
color: var(--paper-white);
2020-01-10 22:01:07 +01:00
transition: all .2s ease-in-out;
2019-01-23 20:38:17 +01:00
}
section.select-list a.website svg {
2020-01-10 22:01:07 +01:00
position: relative;
top: 2px;
2017-07-28 23:07:09 +02:00
}
2017-07-30 12:12:34 +02:00
section.select-list a.website span {
2020-01-10 22:01:07 +01:00
display: inline-block;
padding-right: 1ex;
2017-07-29 17:40:29 +02:00
}
2020-01-10 22:11:55 +01:00
section.select-list a.favoritelink {
2020-10-14 19:51:46 +02:00
position: absolute;
top: 8px;
right: 8px;
color: var(--paper-white);
2020-01-10 22:11:55 +01:00
cursor: pointer;
}
section.select-list .entry:not(.pinned) a.favoritelink svg {
fill: transparent;
stroke: currentColor;
stroke-width: 1;
}
2019-01-23 20:38:17 +01:00
section.select-list .entry:hover a.website,
section.select-list .entry:hover a.favoritelink {
color: var(--bright-grey);
2017-07-28 23:07:09 +02:00
}
2020-01-10 22:11:55 +01:00
section.select-list .entry:hover a.favoritelink:hover,
section.select-list a.favoritelink:hover {
color: var(--ink-black);
2020-01-10 22:11:55 +01:00
}
2020-10-14 19:51:46 +02:00
section.select-list .entry.active a.website,
section.select-list .entry.active a.favoritelink {
color: var(--dark-grey);
}
2017-07-30 12:12:34 +02:00
section.select-list .entry a.website:hover,
section.select-list .entry.pinned a.favoritelink {
color: var(--ink-black);
2017-07-30 12:12:34 +02:00
}
section.select-list .pinned {
background: var(--paper-white);
}
2017-07-28 23:07:09 +02:00
section.select-list .details {
2020-01-10 22:01:07 +01:00
display: block;
font-size: 10px;
text-overflow: ellipsis;
white-space: nowrap;
overflow: hidden;
color: var(--ink-black);
2017-07-28 23:07:09 +02:00
}
2017-01-20 17:59:59 +01:00
footer {
padding: 0 8px 4px 8px;
2020-01-10 22:01:07 +01:00
font-size: 10px;
text-align: center;
line-height: 20px;
background: var(--bright-grey);
color: var(--medium-grey);
2017-01-20 17:59:59 +01:00
}
2017-07-29 18:12:30 +02:00
footer h1 + p {
2020-01-10 22:01:07 +01:00
font-style: italic;
2017-07-29 18:12:30 +02:00
}
2017-07-28 23:07:09 +02:00
footer a:hover,
footer a:active {
2020-01-10 22:01:07 +01:00
text-decoration: underline;
color: var(--ink-black);
2019-06-10 21:14:23 +02:00
}
footer p a,
footer p a:link,
footer p a:visited {
2020-01-10 22:01:07 +01:00
text-decoration: underline;
2017-07-28 23:07:09 +02:00
}
2019-06-10 21:14:23 +02:00
label {
2020-01-10 22:01:07 +01:00
margin-right: .5ex;
color: var(--medium-grey);
}
2019-06-10 14:58:21 +02:00
button {
2020-01-10 22:01:07 +01:00
all: unset;
2020-01-10 22:01:07 +01:00
display: flex;
align-items: center;
justify-content: center;
width: 20px;
height: 18px;
position: relative;
2020-10-07 22:25:17 +02:00
margin: 0 .5ex 0 0;
border: 1px solid var(--light-grey);
2020-01-10 22:01:07 +01:00
border-radius: 4px;
background: linear-gradient(var(--bright-white), var(--light-grey));
color: var(--medium-grey);
2020-01-10 22:01:07 +01:00
cursor: pointer;
2019-06-10 14:58:21 +02:00
}
2020-10-15 20:45:24 +02:00
@media (prefers-color-scheme: dark) {
button {
background: linear-gradient(var(--light-grey), var(--bright-white));
}
}
button:hover {
color: var(--ink-black);
}
button.selected {
background: var(--bright-white);
color: var(--ink-black);
box-shadow: none;
}
button path,
button rect {
2020-01-10 22:01:07 +01:00
fill: currentColor;
2019-06-10 14:58:21 +02:00
}
2020-10-07 22:25:17 +02:00
button:not(.selected) > svg:not(:first-child),
button.selected > svg:not(.selected) {
display: none;
2019-06-10 14:58:21 +02:00
}
select {
2020-01-10 22:01:07 +01:00
all: unset;
width: 9em;
padding: 0 .5ex;
border: 1px solid var(--light-grey);
2020-01-10 22:01:07 +01:00
border-radius: 4px;
background: var(--paper-white);
2020-01-10 22:01:07 +01:00
white-space: nowrap;
overflow: hidden;
text-overflow: ellipsis;
cursor: pointer;
}
select option {
background: var(--light-white);
color: var(--ink-black);
2020-01-10 22:01:07 +01:00
}
input[type='text'] {
line-height: 12px;
}
input[type='text'],
input[type='number'] {
all: unset;
width: 4em;
margin-left: .5ex;
padding: 0 .5ex;
border: 1px solid var(--light-grey);
2020-01-10 22:01:07 +01:00
border-radius: 4px;
background: var(--paper-white);
2020-01-10 22:01:07 +01:00
text-align: left;
transition: all .2s ease-in-out;
}
input[type='text']:hover,
input[type='text']:focus,
input[type='number']:hover,
input[type='number']:focus,
2017-07-28 21:27:31 +02:00
select:hover,
select:focus {
border-color: var(--medium-grey);
background: var(--paper-white);
2017-07-28 21:27:31 +02:00
}
2017-01-20 17:59:59 +01:00
pre,
textarea,
.CodeMirror {
2020-01-10 22:01:07 +01:00
height: auto;
font-family: 'Input Mono', monospace;
2017-01-20 17:59:59 +01:00
}
form {
2020-01-10 22:01:07 +01:00
height: 100%;
min-height: 100%;
position: relative;
z-index: 1;
2017-01-20 17:59:59 +01:00
}
.nav-button {
2020-01-10 22:01:07 +01:00
all: unset;
font-family: inherit;
cursor: pointer;
2017-01-20 17:59:59 +01:00
}
label + .nav-button {
2020-01-10 22:01:07 +01:00
margin-left: .5ex;
2017-01-20 17:59:59 +01:00
}
.CodeMirror {
2020-01-10 22:01:07 +01:00
height: 100%;
min-height: 100%;
border: none;
font-size: 100%;
background: transparent;
box-shadow: none !important;
text-rendering: optimizeLegibility;
2017-01-20 17:59:59 +01:00
}
2017-02-08 23:30:59 +01:00
.CodeMirror .cm-atom {
2020-01-10 22:01:07 +01:00
font-style: italic;
2017-01-20 17:59:59 +01:00
}
2020-10-14 16:39:29 +02:00
.CodeMirror .cm-comment {
font-weight: bold;
}
2017-01-20 17:59:59 +01:00
.CodeMirror-gutters {
2020-01-10 22:01:07 +01:00
background: transparent;
2017-01-20 17:59:59 +01:00
}
2019-01-21 12:42:55 +01:00
.CodeMirror-scroll {
2020-01-10 22:01:07 +01:00
-webkit-overflow-scrolling: touch;
2019-01-21 12:42:55 +01:00
}
2017-07-29 18:12:30 +02:00
footer .logo {
2020-01-10 22:01:07 +01:00
display: inline-block;
2020-10-14 19:51:46 +02:00
position: absolute;
bottom: 4px;
left: 8px;
opacity: .5;
2019-06-10 21:14:23 +02:00
}
footer .logo svg path {
2020-01-10 22:01:07 +01:00
fill: currentColor;
2019-06-10 21:14:23 +02:00
}
2020-10-14 19:51:46 +02:00
footer .logo:last-child {
right: 8px;
left: auto;
}
2019-06-10 21:14:23 +02:00
2017-07-29 18:12:30 +02:00
@media screen and (max-width: 56em) {
2020-05-20 22:11:03 +02:00
.main-wrapper,
2020-01-10 22:01:07 +01:00
form {
width: 100%;
height: 50vh;
min-height: 50vh;
float: none;
}
2017-07-30 12:14:39 +02:00
}
@media screen and (max-width: 56em) and (max-height: 36em) {
2020-01-10 22:01:07 +01:00
section.select-list a.website {
top: 0;
}
section.select-list .entry {
padding: 0 1em;
}
footer p:first-of-type,
footer p:first-of-type + p {
display: none;
}
2017-07-29 18:12:30 +02:00
}