@import url("css/theme.css");
@import url("common.css");

/**** custom headerlink for slides ****/

.headerlink[title="Slides"]::after {
    content: "§" !important;
}

/**** customize admonitions ****/

.admonition-todo .headerlink {
    display: none;
}

.note.question .admonition-title::before {
    content: "�";
}

/**** customize figures ****/

div.figure {
    max-width: 35em;
}

.rst-content .figure img {
  max-height: 10em;
}

/**** TP ****/

li p.first {
  margin-top: 1em;
}

ol p + ul, li p + ul {
  margin-top: -12px; /* cancels the paragraph margin-bottom */
}

.rst-content dt code.literal {
  color: gray;
}