-/* RST styling */
-article.rst dt {
- font-weight: bold;
-}
-article.rst dd {
- margin-bottom: 1em;
-}
-article.rst a.rst-footnote {
- vertical-align: super;
-}
-article.rst div.rst-footnote {
- display: table;
-}
-article.rst div.rst-footnote > * {
- display: table-cell;
-}
-article.rst div.rst-footnote a {
- min-width: 3em;
-}
-article.rst .rst-literal, article.rst pre {
- font-family: monospace;
- font-size: 82%;
-}
-article.rst .rst-literal {
- padding: 0.1em 0.2em;
- background-color: $outer-background-color;
-}
-article.rst pre {
- padding: 0.6em;
- background-color: $outer-background-color;
-}
-