:root {
  --mainNavColor: #006600;
  --notificationBannerColor: #009900; }

body {
  font-family: "Noto Sans JP", sans-serif; }

div.document {
  margin-top: 0;
  margin-bottom: 1rem; }
  div.document section {
    margin-top: 1rem; }

div.footer, p#theme_credit {
  text-transform: none; }

div.sphinxsidebarwrapper {
  scrollbar-width: thin; }

div#top_nav div#top_logo {
  margin: -1rem 0.5rem;
  max-height: 4rem; }
  div#top_nav div#top_logo img {
    aspect-ratio: 1;
    max-height: 4rem;
    width: auto; }

div#top_nav p.highlight-link {
  margin: -1rem 0; }

div.ablog-post h2.ablog-post-title a {
  color: var(--fontColor);
  text-decoration: none; }

div.ablog-post h2.ablog-post-title a:hover {
  color: var(--linkColor);
  text-decoration: underline; }

div.ablog-post ul.ablog-archive a, div.ablog-post p.ablog-post-expand a {
  color: var(--linkColor);
  text-decoration: underline; }

a.footnote-reference {
  font-size: 80%;
  vertical-align: top; }

aside.footnote {
  display: flex; }
  aside.footnote p {
    display: inline;
    margin: 0 0.5rem; }

aside.post-info {
  display: flex;
  flex-direction: column;
  font-size: 0.8rem; }
  aside.post-info div {
    flex: 1; }
  aside.post-info a {
    background-color: sienna;
    color: white;
    border-radius: 6px;
    border: none;
    display: inline-block;
    min-height: 20px;
    padding: 0 2px; }