nixhacks.net/assets/css/restructuredtext.css
2022-08-07 14:03:38 +03:00

135 lines
2.9 KiB
CSS
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

/* Typography
*/
h1, h2, h3, h4, h5, h6 {
margin-top: 1rem;
margin-bottom: 1.2rem;
font-weight: 500;
}
h1 { font-size: 3.6rem; line-height: 1.2; letter-spacing: -.1rem;}
h2 { font-size: 3.0rem; line-height: 1.25; letter-spacing: -.1rem; }
h3 { font-size: 2.6rem; line-height: 1.3; letter-spacing: -.1rem; }
h4 { font-size: 2.0rem; line-height: 1.35; letter-spacing: -.08rem; }
h5 { font-size: 1.6rem; line-height: 1.5; letter-spacing: -.05rem; }
h6 { font-size: 1.2rem; line-height: 1.6; letter-spacing: 0; }
p { margin: 1rem 0; }
/* Links
*/
a {
color: #0b6adc;
text-decoration: none;
}
a:hover {
color: #0b6adc;
text-decoration: underline;
}
/* Code
*/
pre {
font-size: 85%;
}
code {
padding: .2rem .5rem;
margin: 0 .2rem;
white-space: nowrap;
background: #f1f1f1;
border: 1px solid #e1e1e1;
}
pre > code {
display: block;
padding: 1rem;
white-space: pre;
}
.highlight {
border-radius: 8px;
}
.highlight pre {
padding: 1rem;
overflow-x: auto;
}
span.docutils.literal { /* Inline literal */
background-color: #d0d7de;
border-radius: 4px;
padding: 0 4px 2px 4px;
font-family: monospace;
font-size: 80%;
}
/* Lists
*/
dt { /* Defenition list title */
font-weight: bold;
}
ol, ul {
margin: 0;
}
/* Blockquotes
*/
blockquote {
padding: 0 1em;
border-left: .25em solid #d0d7de;
}
/* Tables
*/
table, th, td {
border: 1px solid;
border-collapse: collapse;
border-color: #afb4b9;
padding: 0 8px;
}
th {
font-weight: 600;
background-color: #d0d7de;
}
td p {
margin: .5rem 0;
}
hr {
color: #d0d7de;
}
/* Admonitions
*/
.admonition {
padding: .5rem 1rem;
}
.admonition-title {
font-weight: bold;
}
.attention {}
.caution {}
.danger {}
.error {}
.hint {}
.important {}
.note {
color: #3171b5;
background-color: #e5f1fb;
}
.tip {}
.warning {}
.topic {}
.topic-title {
font-weight: bold;
}