* { font-size: inherit }
@keyframes marking { 0% { background-color: white } 10% { background-color: yellow } 70% { background-color: yellow } 100% { background-color: white }}
.mark:target { animation: marking 2s }
.small { font-size: small }
body { margin: 2em 1em; padding: 0em; font-size: medium; line-height: 135%; font-family: sans-serif; text-align: left; color: #070707; background-color: white }
a.paper { font-weight: bold }
a[href] { color: #3542E6; text-decoration: none }
a[href].local:after { font-size: xx-small; vertical-align: super; content: "↓" }
a[href]:visited { color: #868DE6 }
a[href]:active, a[href]:hover { text-decoration: underline }
h1 { margin: 1.5ex 0 1ex 0; font-size: xx-large; font-weight: bold }
h2 { clear: both; margin: 4ex 0 1ex 0; font-size: x-large; font-weight: bold; border-bottom: 1px solid #DEDEDE }
h3 { clear: both; margin: 3ex 0 0.7ex 0; font-size: large; font-weight: bold }
h4 { margin: 2.5ex 0ex 0.7ex 0ex; padding-left: 0em; font-weight: bold }
p { margin: 0.5em 0 }
p.foot { text-align: right; font-size: small; color: #DEDEDE }
p.foot:hover { color: #000000 }
p.note { font-size: small; line-height: 110% }
ul.triangles li { padding: 0.3ex 0px 0px }
ul.triangles li:before { content: "▸ "; color: #8A8A8A }
ul.triangles { list-style: none; padding-left: 0.5em }
pre { margin: 1em 1em; background-color: #EFEFEF; border: 1px solid #D2D2D2; overflow: auto; line-height: 125% }

div.figure { color: #4e4e4e; margin: 0em; text-align: center; line-height: 120%; font-size: 95% }
div.figure:nth-of-type(even) { clear: right }
div.figure:nth-of-type(odd) { clear: left }
div.figure:nth-of-type(even) img { margin: 0em 0em 1em 1em; float: right }
div.figure:nth-of-type(odd)  img { margin: 0em 1em 1em 0em; float: left }
div.figure p.caption { text-align: right }
div.figure:nth-of-type(even) p.caption { text-align: right; margin: 0% 0% 0% 5% }
div.figure:nth-of-type(odd) p.caption { text-align: left; margin: 0% 5% 0% 0% }
div.figure p.caption:before { font-weight: bold; color: #aa0000; content: "▸ " }

div.toc { max-width: 30%; float: right; margin-left: 1em; padding: 1ex; border: 1px solid #aa0000 }
div.toc ul { padding: 0 0 0 1ex;  margin:0 }
div.toc ul li { margin: 0.5ex 1ex; font-size: 90%; list-style: disc; line-height: 120% }
/* div.toc ul li:before { content: "› " } */
div.toc ul li a { color: #0E0088 }
div.toc h2 { font-size: large; font-weight: normal; margin: 0 0 1ex 0 }

table { border-collapse: collapse; margin: 1.5em auto }
table th { text-align: center; padding: 0.3ex 1ex; border: 1px solid #eeeeee }
table td { text-align: center; padding: 0.3ex 1ex; border: 1px solid #eeeeee }
table caption { color: #4e4e4e; margin: 0em 0em 0.7em 0em; text-align: left; line-height: 120%; font-size: 95% }
table caption:before { font-weight: bold; color: #aa0000; content: "▸ " }

table.dense * { text-align: left; border: none; vertical-align: baseline }
table.dense th { padding-right: 1em; font-weight: normal; font-size: small; color: #8A8A8A }
table.dense th:after { content: ":" }

table.left { width: auto; margin-left: 0px; margin-right: auto }