1
0
Fork 0
mirror of https://github.com/denoland/deno.git synced 2024-12-26 09:10:40 -05:00
denoland-deno/website/style.css

104 lines
1.2 KiB
CSS
Raw Normal View History

2018-10-18 06:23:26 -04:00
body {
2019-02-11 17:41:13 -05:00
color: #444;
2018-10-18 06:23:26 -04:00
background: #f0f0f0;
2019-02-11 17:41:13 -05:00
padding: 0;
line-height: 1.5;
font-family: sans-serif;
margin: 5ex 10ex;
max-width: 80ex;
2018-10-18 06:23:26 -04:00
}
2019-02-11 17:41:13 -05:00
#manual img {
width: 100%;
2018-10-18 06:23:26 -04:00
max-width: 800px;
}
2019-02-11 17:41:13 -05:00
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;
2019-02-11 17:41:13 -05:00
}
td, th {
font-weight: normal;
text-align: center;
border: 1px dotted #bbb;
padding: 4px;
}
2018-10-18 06:23:26 -04:00
svg {
2019-02-11 17:41:13 -05:00
margin: 0px;
width: 100%;
height: 300px;
2018-10-18 06:23:26 -04:00
}
a {
2019-02-11 17:41:13 -05:00
color: #106ad5;
}
2019-02-11 17:41:13 -05:00
pre a {
color: #001631;
}
2018-10-18 06:23:26 -04:00
2019-02-11 17:41:13 -05:00
h2 a, h3 a {
display: none;
2019-02-03 13:24:33 -05:00
color: #3bace5;
2019-02-11 17:41:13 -05:00
text-decoration: none;
2019-02-03 13:24:33 -05:00
}
2019-02-11 17:41:13 -05:00
h2:hover a,
h3:hover a {
display: inline;
2019-02-03 13:24:33 -05:00
}
2018-12-18 18:13:01 -05:00
pre {
2019-02-11 17:41:13 -05:00
/* background: rgba(36, 126, 233, 0.03); */
color: #161616;
background: rgba(36, 126, 233, 0.1);
2018-12-18 18:13:01 -05:00
padding: 15px;
2018-12-31 11:09:39 -05:00
word-wrap: normal;
overflow-x: auto;
2018-12-18 18:13:01 -05:00
}
2019-02-11 17:41:13 -05:00
header {
display: flex;
align-items: center;
margin: 16px 4px;
2018-12-31 11:09:39 -05:00
}
2019-02-11 17:41:13 -05:00
header > * {
2019-03-22 11:34:47 -04:00
margin: 8px;
2018-12-31 11:09:39 -05:00
}
2019-02-11 17:41:13 -05:00
header h1 {
margin: 8px 0;
}
2018-10-18 06:23:26 -04:00
2019-02-11 17:41:13 -05:00
@media only screen and (max-device-width: 480px) {
2018-10-18 06:23:26 -04:00
body {
margin: 0;
}
}
code {
background: rgba(36, 126, 233, 0.1);
padding: 2px 5px;
color: #333;
}
.hljs {
background: transparent;
}