mirror of
https://github.com/denoland/deno.git
synced 2024-11-22 15:06:54 -05:00
134 lines
1.7 KiB
CSS
134 lines
1.7 KiB
CSS
body {
|
|
color: #444;
|
|
background: #f0f0f0;
|
|
padding: 0;
|
|
|
|
line-height: 1.5;
|
|
font-family: sans-serif;
|
|
|
|
margin: 5ex 10ex;
|
|
max-width: 80ex;
|
|
}
|
|
|
|
#manual img {
|
|
width: 100%;
|
|
max-width: 800px;
|
|
}
|
|
|
|
|
|
h1, h2, h3, h4 {
|
|
font-weight: normal;
|
|
margin-bottom: 0;
|
|
}
|
|
|
|
h1, h2, h3, h4, p, table {
|
|
margin-left: 8px;
|
|
margin-right: 8px;
|
|
}
|
|
|
|
table {
|
|
border-collapse: collapse;
|
|
margin-top: 8px;
|
|
}
|
|
td, th {
|
|
font-weight: normal;
|
|
text-align: center;
|
|
border: 1px dotted #bbb;
|
|
padding: 4px;
|
|
}
|
|
|
|
svg {
|
|
margin: 0px;
|
|
width: 100%;
|
|
height: 300px;
|
|
}
|
|
|
|
a {
|
|
color: #106ad5;
|
|
}
|
|
|
|
pre a {
|
|
color: #001631;
|
|
}
|
|
|
|
h2 a, h3 a {
|
|
display: none;
|
|
color: #3bace5;
|
|
text-decoration: none;
|
|
}
|
|
|
|
h2:hover a,
|
|
h3:hover a {
|
|
display: inline;
|
|
}
|
|
|
|
pre {
|
|
/* background: rgba(36, 126, 233, 0.03); */
|
|
color: #161616;
|
|
background: rgba(36, 126, 233, 0.1);
|
|
padding: 15px;
|
|
white-space: pre-wrap;
|
|
word-break: break-all;
|
|
overflow-x: auto;
|
|
}
|
|
|
|
header {
|
|
display: flex;
|
|
align-items: center;
|
|
margin: 16px 4px;
|
|
}
|
|
|
|
header > * {
|
|
margin: 8px;
|
|
}
|
|
|
|
header h1 {
|
|
margin: 8px 0;
|
|
}
|
|
|
|
|
|
@media only screen and (max-device-width: 480px) {
|
|
body {
|
|
margin: 0;
|
|
}
|
|
}
|
|
|
|
code {
|
|
background: rgba(36, 126, 233, 0.1);
|
|
padding: 2px 5px;
|
|
color: #333;
|
|
}
|
|
|
|
.hljs {
|
|
background: transparent;
|
|
}
|
|
|
|
#spinner-overlay {
|
|
display: none;
|
|
position: fixed;
|
|
top: 0px;
|
|
bottom: 0px;
|
|
left: 0px;
|
|
right: 0px;
|
|
background: rgba(0, 0, 0, 0.3);
|
|
}
|
|
|
|
@keyframes spinner {
|
|
to {transform: rotate(360deg);}
|
|
}
|
|
|
|
.spinner:before {
|
|
content: '';
|
|
box-sizing: border-box;
|
|
position: absolute;
|
|
top: 50%;
|
|
left: 50%;
|
|
width: 60px;
|
|
height: 60px;
|
|
margin-top: -10px;
|
|
margin-left: -10px;
|
|
border-radius: 50%;
|
|
border: 2px solid #ccc;
|
|
border-top-color: #000;
|
|
animation: spinner .6s linear infinite;
|
|
}
|