body {
    margin: 0 auto;
    max-width: 800px;
    font-family: "Helvetica", "Arial", sans-serif;
    line-height: 1.75;
    padding: 3em 1em;
             padding-top: 0px;
    transition: background-color 0.3s, color 0.3s; /* Smooth transition */
}
header {
    border-bottom: 1px solid var(--color-border);
    margin-bottom: 2ch;
    display: flex;
    justify-content: space-between;
    align-items: center;
}
canvas {
    image-rendering: pixelated;
}
img {
    max-width: 100%;
    max-height: 100%;
    object-fit: contain;
    width: 100%;
}

img.google_play_badge {
    width: 25ch;
    image-rendering: auto;
}

.banner {
    width: 100%;
    position: sticky;
    top: 0;
    margin-top: 0;
    border: 2px solid;
    background-color: var(--bg);
    border-color: var(--bold);
    text-align: center;
}


.buy {
    text-decoration: none;
    color: var(--bg);
    font-weight: bold;
    background-color: var(--bold);
    border-radius: .5ch;
    padding: 1ch;
    transition: all .2s ease-in-out;
    display: block;
    width: fit-content;
}

a.buy:link {
    transform: scale(1.0);
}
a.buy:hover {
    transform: scale(0.9);
}

header strong {
    font-size: 2em;
    margin: 1em 0 1em;
}
h1,h2,h3 {
    margin: 1em 0 1em;
}
p,ul,ol {
    margin-bottom: 2em;
}

table {
    border-collapse: collapse;
}
table td, th{
    border: 1px solid ;
    border-collapse: collapse;
    padding: 0.5ch;
}
table.nextprev {
    width: 100%;
}
table.nextprev td {
    border: 0px;
}
pre {
    border-left: 1ch var(--bold) solid;
    padding-left: 1ch;
}
#bd-theme {
    padding: 5px 10px;
    border-radius: 4px;
    background-color: var(--color-card-bg);
    color: var(--color-text);
    border: 1px solid var(--color-border);
    cursor: pointer;
}
/* themes */
:root {
    --bg: #eee;
    --bg_light: #eee;
    --fg: #073642;
    --bold: #268bd2;
    --color-border: #cccccc;
    --color-card-bg: #ffffff;
}
:root.dark {
    --bg: #282828;
    --fg: #bfe9f8;
    --bold: #268bd2;
    --color-border: #444444;
    --color-card-bg: #2d2d2d;
}
body {
   background-color: var(--bg);
   color: var(--fg);
}

h1, h2, h3, strong, a {
    color: var(--bold);
}

textarea {
    border: .5ch solid var(--bold);
    padding: 1ch;
    color: var(--fg);
    background-color: var(--bg);
}

ul.horiz {
    margin: 0;
    padding: 0;
    list-style: none;
    list-style-position: inside;
}
.horiz li {
   display: inline;
   margin-right: 1ch;
}
#TableOfContents ul{
margin-block-end: 0;
}

header a {
    text-decoration: none;
}
header a:hover {
    text-decoration: underline;
}
nav a {
    text-decoration: none;
    margin-left: 3ch;
}
a:hover {
  text-decoration: none;
}

.btns a {
    border-radius: 1em;
    padding: 1em;
    border: .2em solid;
    font-weight: bold;
    text-decoration: none;
}
.btns a:hover {
    background-color: var(--bold);
    color: var(--fg);
}

#footer {
   text-decoration: none;
   font-weight: bold;
   display: flex;
   justify-content: space-evenly;
}
#footer li {
    flex: 1;
}