mirror of
https://github.com/rsms/inter.git
synced 2024-11-26 02:43:38 +03:00
279 lines
5.5 KiB
CSS
279 lines
5.5 KiB
CSS
body {
|
|
padding-bottom: 0;
|
|
}
|
|
|
|
const {
|
|
display: inline;
|
|
font-size: 1.2em;
|
|
font-style: italic;
|
|
font-family: 'Times New Roman', Times, serif;
|
|
}
|
|
|
|
sup {
|
|
/*background:lightpink;*/
|
|
display: inline-block;
|
|
font-size:0.92em;
|
|
position: relative;
|
|
top:-0.4em;
|
|
letter-spacing: 0.001em;
|
|
vertical-align: baseline;
|
|
}
|
|
|
|
.row.first {
|
|
padding-bottom:1em;
|
|
}
|
|
|
|
formula {
|
|
display: inline-flex;
|
|
align-items: center;
|
|
background: white;
|
|
border-radius: 5px;
|
|
padding: 0 1em;
|
|
line-height: 3em;
|
|
height: 3em;
|
|
overflow: hidden;
|
|
margin-right: 1em;
|
|
margin-bottom: 1em;
|
|
white-space: nowrap;
|
|
}
|
|
.row.white formula {
|
|
background: #f5f5f5;
|
|
}
|
|
formula:last-child {
|
|
margin-right: 0;
|
|
}
|
|
formula.code {
|
|
white-space: pre;
|
|
font-family: "SFMono-Regular", Menlo, Consolas, Inconsolata, monospace;
|
|
font-size:0.96em;
|
|
}
|
|
formula > * {
|
|
margin: 0 0.2em 0 0.2em;
|
|
}
|
|
formula > g {
|
|
display: inline-block;
|
|
}
|
|
formula > const {
|
|
margin-bottom: 0.11em;
|
|
}
|
|
formula > sup {
|
|
margin-left: 0;
|
|
}
|
|
|
|
|
|
.samples {
|
|
display: flex;
|
|
flex-wrap: wrap;
|
|
overflow: auto;
|
|
overflow-wrap: break-word;
|
|
word-break: break-word;
|
|
padding: 50px 0 0 50px; /* note: samples have 50px right margin */
|
|
}
|
|
.samples .sample {
|
|
color: #111;
|
|
flex: 0 1 auto;
|
|
outline: none;
|
|
margin-right: 50px;
|
|
margin-bottom: 50px;
|
|
min-width: 50px;
|
|
}
|
|
.samples .sample > * {
|
|
display: block;
|
|
outline: none;
|
|
}
|
|
.samples .sample .content {
|
|
padding-left: 10px;
|
|
border-left: 2px solid transparent;
|
|
margin-left: -12px;
|
|
}
|
|
.samples .sample.selected .content {
|
|
border-left-color: rgb(45, 143, 255);
|
|
}
|
|
.samples .sample .di {
|
|
background-color: #ccc;
|
|
height: 1px;
|
|
width: 100%;
|
|
margin-bottom: 8px;
|
|
}
|
|
.samples .sample .di > span {
|
|
display: block;
|
|
background-color: #333;
|
|
height: 100%;
|
|
}
|
|
.samples .sample .di.match > span {
|
|
background-color: #0d3;
|
|
}
|
|
.samples .sample .di.unavailable {
|
|
background-color: #eee;
|
|
}
|
|
.samples .sample .di.unavailable > span {
|
|
visibility: hidden;
|
|
}
|
|
.samples .sample .info {
|
|
display: block;
|
|
font-size: 11px !important;
|
|
letter-spacing: 0.01em;
|
|
font-weight: 400;
|
|
line-height: 11px;
|
|
margin-bottom: 9px;
|
|
color: #bbb;
|
|
}
|
|
|
|
|
|
.row.with-sidebar {
|
|
padding: 0;
|
|
}
|
|
.row.with-sidebar > *:first-child {
|
|
flex: 1 1 auto;
|
|
}
|
|
.row.with-sidebar > .sidebar {
|
|
flex: 0 0 auto;
|
|
}
|
|
|
|
div.controls {
|
|
box-sizing: border-box;
|
|
width: 250px;
|
|
max-width: 250px;
|
|
flex: 0 0 auto;
|
|
padding: 10px 0;
|
|
border-left: 4px solid #f4f4f4;
|
|
display: flex;
|
|
flex-direction: column;
|
|
overflow: hidden;
|
|
}
|
|
div.controls hr {
|
|
border: none;
|
|
height: 2px;
|
|
background: #f4f4f4;
|
|
margin-top: 10px;
|
|
margin-bottom: 10px;
|
|
}
|
|
div.controls hr.without-bottom-margin { margin-bottom: 0; }
|
|
div.controls hr.without-top-margin { margin-top: 0; }
|
|
div.controls hr.without-margins { margin: 0; }
|
|
div.controls .control {
|
|
display: flex;
|
|
justify-content: space-between;
|
|
align-items: center;
|
|
overflow: hidden;
|
|
height: 30px;
|
|
margin: 0 16px;
|
|
}
|
|
div.controls > h3 {
|
|
margin: 0 16px;
|
|
}
|
|
div.controls > textarea {
|
|
border: none;
|
|
padding:16px;
|
|
height: 240px;
|
|
font-family: "SFMono-Regular", Menlo, Consolas, Inconsolata, monospace;
|
|
outline: none;
|
|
resize: vertical;
|
|
color: #999;
|
|
}
|
|
div.controls > textarea:focus {
|
|
color: inherit;
|
|
}
|
|
div.controls textarea#code-output {
|
|
height: 50px;
|
|
}
|
|
div.controls .control > * {
|
|
/*max-width: 50%;*/
|
|
flex: 1 1 auto;
|
|
margin:0;
|
|
margin-right: 16px;
|
|
box-sizing: border-box;
|
|
}
|
|
div.controls .control > :last-child {
|
|
margin-right: 0;
|
|
}
|
|
div.controls .control > select {
|
|
min-width: 6em;
|
|
align-items: center;
|
|
justify-content: center;
|
|
}
|
|
div.controls .control > input,
|
|
div.controls .control > select {
|
|
width: 0;
|
|
outline: none;
|
|
}
|
|
div.controls .control > input[type="number"],
|
|
div.controls .control > input[type="text"] {
|
|
background: none;
|
|
border: none;
|
|
padding: 4px 0;
|
|
font-size: 13px;
|
|
}
|
|
div.controls .control > input[type="number"] {
|
|
max-width: 60px;
|
|
-moz-font-feature-settings: 'calt' 1, 'zero' 1, 'tnum' 1;
|
|
-ms-font-feature-settings: 'calt' 1, 'zero' 1, 'tnum' 1;
|
|
-o-font-feature-settings: 'calt' 1, 'zero' 1, 'tnum' 1;
|
|
-webkit-font-feature-settings: 'calt' 1, 'zero' 1, 'tnum' 1;
|
|
font-feature-settings: 'calt' 1, 'zero' 1, 'tnum' 1;
|
|
}
|
|
div.controls .control > input[type=number]::-webkit-inner-spin-button,
|
|
div.controls .control > input[type=number]::-webkit-outer-spin-button {
|
|
-webkit-appearance: none;
|
|
margin: 0;
|
|
}
|
|
div.controls .control > input[type="number"][readonly] {
|
|
max-width: 40px;
|
|
}
|
|
div.controls .control > input.wide[type="number"] {
|
|
max-width: 100%;
|
|
}
|
|
div.controls .control > input[type="range"] {
|
|
/*max-width: 80%;*/
|
|
flex: 1 1 auto;
|
|
display: block;
|
|
}
|
|
div.controls .control > img.icon,
|
|
div.controls .control > label {
|
|
font-family: georgia, serif;
|
|
font-style: italic;
|
|
line-height: 16px;
|
|
color: black;
|
|
width: 16px;
|
|
height: 16px;
|
|
flex: 0 0 auto;
|
|
margin-right: 16px;
|
|
opacity: 0.6;
|
|
}
|
|
div.controls canvas {
|
|
height: 200px;
|
|
}
|
|
div.controls .when-selection {
|
|
display: none;
|
|
}
|
|
div.controls.has-selected-sample .when-selection {
|
|
display: block;
|
|
}
|
|
|
|
.row.narrow-window {
|
|
margin-top:0;
|
|
padding-top:0;
|
|
}
|
|
|
|
@media only screen and (max-width: 565px) {
|
|
.row.with-sidebar {
|
|
overflow: auto;
|
|
}
|
|
|
|
div.controls {
|
|
display: none;
|
|
}
|
|
|
|
.row.with-sidebar {
|
|
flex-direction: column;
|
|
}
|
|
}
|
|
|
|
/* small devices (<= iPhone 6+) */
|
|
@media only screen and (max-device-width: 414px) {
|
|
.samples {
|
|
padding-left: 20px;
|
|
padding-right: 50px;
|
|
}
|
|
}
|