/* stuff that is actually site-theme in nature */
html{background-color:#111;}
body{background-color:#222;color:silver;margin:.5em;padding:.5em;}
textarea,select{color:white;background-color:#3b3b3b} /* bg color copied from chrome devtools autodarkmode */
code{background-color:#002040;color:white;}
table{color:silver;} /* chrome seems to apply another color by default until you hover it in devtools */

/* stuff that makes the basic shared page layout work */
header{padding:.5em;}
#mainbox{width:max-content;}
#sidebar{
  display:inline-block;vertical-align:top;
  width:12vw;min-height:50vh;
  margin:.25em;padding:.25em;
  outline:1px dotted red;
}
#main{
  display:inline-block;vertical-align:top;
  min-width:75vw;min-height:80vh;
  margin:.25em;padding:.25em;
  outline:1px dotted green;background:#303030;
}