/* light mode */
.hljs-built_in {
  color: #990099;
}
.hljs-keyword {
  color: #006699;
}
.hljs-literal {
  color: #009966;
}
.hljs-built_in, .hljs-keyword, .hljs-literal {
  font-weight: bold;
}
.hljs-comment {
  color: #990033;
}
.hljs-string {
  color: #cc6600;
}
pre code.hljs {
	background: #f5fffa;
}
td.code {
	background: #f5fffa;
}

/* dark mode */
[data-darkreader-mode="dynamic"] .hljs-built_in {
  color: #ffa657;
}
[data-darkreader-mode="dynamic"] .hljs-keyword {
  color: #ff7b72;
}
[data-darkreader-mode="dynamic"] .hljs-literal {
  color: #79c0ff;
}
[data-darkreader-mode="dynamic"] .hljs-built_in,
[data-darkreader-mode="dynamic"] .hljs-keyword,
[data-darkreader-mode="dynamic"] .hljs-literal {
  font-weight: bold;
}
[data-darkreader-mode="dynamic"] .hljs-comment {
  color: #8b949e;
}
[data-darkreader-mode="dynamic"] .hljs-string {
  color: #a5d6ff;
}
[data-darkreader-mode="dynamic"] pre code.hljs {
  background: #0d1117;
}
[data-darkreader-mode="dynamic"] td.code {
  background: #0d1117;
}

/* big screens */
@media (min-width: 701px) {
  code, tt {
    font-size: 120%;
  }
	img.leibniz {
		float: right;
		padding: 10px;
	}
  body {
    max-width: 960px;
    margin: auto;
    padding: 8px;
  }
}

/* small screens */
@media (max-width: 700px) {
	img.leibniz {
		display: block;
		margin: auto;
	}
}

/* common */
pre code.hljs {
  display: inline-block;
  border: 1px solid #999;
  padding: 1em;
  white-space: pre-wrap;
}
table, th, td {
  border: 1px solid #999;
  border-collapse: collapse;
  padding: 5px;
}