2018-05-21 21:14:41 +02:00
|
|
|
---
|
|
|
|
---
|
|
|
|
|
|
|
|
$accent: #bf0707;
|
|
|
|
$lighter: #fff4f4;
|
|
|
|
$hover: #ff0000;
|
|
|
|
|
|
|
|
// layout
|
|
|
|
|
2018-05-29 17:29:56 +02:00
|
|
|
$column-width: 800px;
|
|
|
|
$grace-space: 200px;
|
|
|
|
$layout-break: "(min-width: #{$column-width + $grace-space})";
|
|
|
|
|
|
|
|
@media #{$layout-break} {
|
2018-05-21 21:14:41 +02:00
|
|
|
body {
|
2018-05-29 17:29:56 +02:00
|
|
|
width: $column-width;
|
2018-05-29 17:39:50 +02:00
|
|
|
margin: 40px auto;
|
2018-05-21 21:14:41 +02:00
|
|
|
}
|
2018-05-29 19:30:39 +02:00
|
|
|
|
|
|
|
p {
|
|
|
|
text-align: justify;
|
|
|
|
}
|
2018-05-21 21:14:41 +02:00
|
|
|
}
|
|
|
|
|
2018-05-29 17:29:56 +02:00
|
|
|
@media not all and #{$layout-break} {
|
|
|
|
.github-corner {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-05-21 21:14:41 +02:00
|
|
|
// common tags
|
|
|
|
|
|
|
|
body {
|
|
|
|
font-family: sans, sans-serif;
|
|
|
|
}
|
|
|
|
|
|
|
|
code {
|
|
|
|
padding: 0.15em 0.25em;
|
|
|
|
border-radius: 0.25em;
|
|
|
|
color: $accent;
|
|
|
|
background: $lighter;
|
|
|
|
}
|
|
|
|
|
|
|
|
pre {
|
|
|
|
background: $lighter;
|
|
|
|
padding: 1em;
|
|
|
|
overflow-x: auto;
|
|
|
|
|
|
|
|
code {
|
|
|
|
padding: 0;
|
|
|
|
border-radius: 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
a:link, a:visited {
|
|
|
|
color: $accent;
|
|
|
|
}
|
|
|
|
|
|
|
|
a:hover {
|
|
|
|
color: $hover;
|
|
|
|
}
|
|
|
|
|
2018-05-24 12:27:09 +02:00
|
|
|
// permalink on headings
|
2018-05-21 21:14:41 +02:00
|
|
|
|
2018-05-24 12:27:09 +02:00
|
|
|
h2, h3, h4, h5, h5 {
|
|
|
|
.permalink {
|
|
|
|
margin-left: 5px;
|
|
|
|
text-decoration: none;
|
|
|
|
visibility: hidden;
|
|
|
|
|
|
|
|
&::before {
|
|
|
|
content: "#";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
&:target {
|
|
|
|
border-left: 5px solid $accent;
|
|
|
|
padding-left: 5px;
|
|
|
|
}
|
|
|
|
|
|
|
|
&:hover {
|
|
|
|
.permalink {
|
|
|
|
visibility: visible;
|
|
|
|
}
|
|
|
|
}
|
2018-05-21 21:14:41 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// binary list and search
|
|
|
|
|
|
|
|
#bin-search {
|
2018-05-29 21:32:26 +02:00
|
|
|
margin-top: 50px;
|
2018-05-21 21:14:41 +02:00
|
|
|
padding: 0.5em;
|
|
|
|
width: 100%;
|
|
|
|
box-sizing: border-box;
|
|
|
|
}
|
|
|
|
|
|
|
|
#bin-table {
|
|
|
|
width: 100%;
|
|
|
|
|
|
|
|
th, td {
|
|
|
|
padding: 0.2em 1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
th {
|
|
|
|
text-align: left;
|
|
|
|
}
|
|
|
|
|
2018-05-25 19:17:36 +02:00
|
|
|
tbody tr:hover {
|
|
|
|
background: $lighter;
|
|
|
|
}
|
|
|
|
|
2018-05-21 21:14:41 +02:00
|
|
|
#search-message {
|
2018-05-29 11:50:36 +02:00
|
|
|
display: none;
|
2018-05-21 21:14:41 +02:00
|
|
|
text-align: center;
|
|
|
|
padding: 1em;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// function description
|
|
|
|
|
|
|
|
.function-list {
|
|
|
|
font-size: 0.8rem;
|
|
|
|
list-style: none;
|
|
|
|
padding: 0;
|
|
|
|
margin: 0;
|
|
|
|
|
|
|
|
li {
|
|
|
|
display: inline-block;
|
|
|
|
padding: 0.25em 0.5em;
|
2018-05-29 13:31:10 +02:00
|
|
|
margin: 0.2em 0;
|
2018-05-21 21:14:41 +02:00
|
|
|
border: 1px solid $accent;
|
|
|
|
|
|
|
|
a:link, a:visited {
|
|
|
|
color: $accent;
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
&:hover, a:hover {
|
|
|
|
color: $hover;
|
|
|
|
border-color: $hover;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-05-22 12:24:49 +02:00
|
|
|
// bin examples
|
|
|
|
|
|
|
|
.examples {
|
|
|
|
display: table;
|
|
|
|
width: 100%;
|
|
|
|
table-layout: fixed;
|
|
|
|
counter-reset: item;
|
2018-06-04 21:58:16 +02:00
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
2018-05-22 12:24:49 +02:00
|
|
|
|
2018-06-05 00:22:30 +02:00
|
|
|
li {
|
2018-05-22 12:24:49 +02:00
|
|
|
display: table-row;
|
|
|
|
|
2018-06-05 00:22:30 +02:00
|
|
|
&:not(:only-child):before {
|
2018-05-22 12:24:49 +02:00
|
|
|
display: table-cell;
|
|
|
|
font-size: 0.8rem;
|
2018-05-29 21:55:46 +02:00
|
|
|
font-weight: bold;
|
|
|
|
width: 3em;
|
2018-05-22 12:24:49 +02:00
|
|
|
text-align: center;
|
|
|
|
counter-increment: item;
|
2018-05-24 12:48:22 +02:00
|
|
|
content: "(" counter(item, lower-alpha) ")";
|
2018-05-22 12:24:49 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// other classes
|
2018-05-21 21:14:41 +02:00
|
|
|
|
2018-05-29 19:30:39 +02:00
|
|
|
.logo {
|
|
|
|
$margin: 20px;
|
|
|
|
float: right;
|
|
|
|
width: 100px;
|
|
|
|
height: 100px;
|
|
|
|
margin-left: $margin;
|
|
|
|
margin-bottom: $margin;
|
|
|
|
}
|
|
|
|
|
2018-05-21 21:14:41 +02:00
|
|
|
.bin-name {
|
|
|
|
font-family: monospace;
|
|
|
|
font-size: 1.2rem;
|
|
|
|
}
|
|
|
|
|
|
|
|
.function-name {
|
|
|
|
font-size: 1.4rem;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
2018-05-21 23:09:02 +02:00
|
|
|
|
|
|
|
.github-buttons {
|
2018-05-29 19:42:54 +02:00
|
|
|
display: inline-block;
|
|
|
|
margin-left: 10px;
|
2018-05-21 23:09:02 +02:00
|
|
|
|
|
|
|
// avoid displaying the link text during loading
|
|
|
|
a.github-button {
|
|
|
|
visibility: hidden;
|
|
|
|
}
|
|
|
|
}
|