/*
class="w3-pale-green"   background pale green - terminal commands
class="w3-pale-yellow"  background pale yellow - warnings and posts
*/
body {margin: 0px auto 0px auto; max-width: 992px; color: black; background-color: white; font-family: "Noto Sans", "Arial", sans-serif;}
a.bold {font-weight: bold;}
a.inset {margin-left: 0.5em;}
a.navfontsize {font-size: 135%;} /* was 150% */
button.link {
  display: inline-block;
  position: relative;
  background-color: transparent;
  cursor: pointer;
  border: 0;
  padding: 0;
  color: black;
  text-decoration: none;
  font: inherit;
}
h1 {text-align: center; font-size: 270%; font-weight: bold; margin-top: 1em; margin-bottom:1em;} /* was 300%  */
h2 {text-align: left; font-size: 180%; font-weight: bold;} /* was200% */
h2.hightop {margin-top: 2em;}
h2.sub-h1 {text-align: center; margin-top: -1.5em; margin-bottom: 2em;}
h3 {text-align: left; font-size: 135%; font-weight: bold; margin-top: 1em;} /* font-size was 150% */
h3.sub-h2 {margin-top: -2em; margin-bottom: 2em;}
h3.title {text-align: center; font-size: 180%; font-weight: bold; margin-top: 2em; margin-bottom: 0em;} /* was 200% */
h3.underline {text-decoration: underline;}
h4 {text-align: left; font-size: 99%; font-weight: bold; margin-top: 2em;} /* was 110% */
h4.title {text-align: center; font-size: 99%; font-weight: bold; margin-top: 0em; margin-bottom: 2em;} /* was 110% */
hr.feedback {border: 1px solid black; margin-top: 4em; margin-bottom: 1em;}
hr.hightop {margin-top: 2em;}
hr.nadir {margin-top: 4em; margin-bottom: 8em;}
div.feedback {border: 2px solid black; border-radius: 12px; padding: 1em; font-size: 0.8em;}
div.followon {margin-top: 2em;}
div.hightop {padding-top: 2em;}
div.screenthumb {width:200px;}
ul.no-bullets {list-style-type: none;}
li {font-size: 135%; margin-bottom: 1em;} /* was 150% */
li.no-bottom {margin-bottom: 0em;}
li.li-inner {font-size: 100%; margin-bottom: 0em;}
p {font-size: 135%;} /* was 150% */
p.article {margin-bottom: 0.4em;}
p.bf {font-weight: bold;}
p.bold {font-weight: bold; font-size: 112.5%; margin: 2em 0em 1em 0em;} /* was 125% */
p.border {border: 2px solid black; border-radius: 12px; padding: 1em;}
p.center {text-align: center;}
p.date {float: right; font-size: 0.8em;}
p.distro {margin: 0em 0em 0em 0em;}
p.distro-name {white-space: nowrap; font-weight: bold; margin-bottom: 0em;}
p.distro-about {margin-top: 0.5em;}
p.feedback {margin-top: 0em; margin-bottom: 1em; font-size: 1.2em;}
p.hightop {margin-top: 2em;}
p.indent {margin-left: 2em;}
p.indent2 {margin-left: 4em;}
p.indent-both {margin-left: 2em; margin-right: 2em;}
p.installer {margin-bottom: 0em;}
p.li-inner {font-size: 100%; margin-bottom: 0em;}
p.mono {font-family: "Noto Sans Mono", "Inconsolata", "Courier New", monospace; font-weight: bold; font-size: 126%; margin-left: 2em; padding-left: 1em; word-wrap: break-word;} /* was 140% */
p.navigate {text-align: left; font-size: 99%; font-weight: bold; text-decoration: underline;} /* was 110% */
p.noover {margin-top: 0em;}
p.nounder {margin-bottom: 0em;}
p.padded {font-size: 126%; margin-left: 2em; padding: 0.5em 0em 0.5em 2em;}
p.spaced {margin-top: 0em; margin-bottom: 0em; padding-top: 0.5em; padding-bottom: 0.5em;}
p.small {font-size: 110%;}
p.resource {margin-left: 2em;}
p.subbold {font-weight: bold; font-size: 90%; margin-top: 2em;} /* was 100% */
p.sub-h1 {margin-top: -1em; margin-bottom: 2em;}
span.basedon {white-space: nowrap; margin-right: 1em;}
span.bold {font-weight: bold;}
span.color {color: #684703; background-color: transparent; font-weight: bold;}
span.distro {white-space: nowrap; margin-right: 2em;}
span.eol {color: #aaaaaa; background-color: transparent;}
span.indent {margin-left: 2em;}
span.italic {font-style: italic;}
span.mono {font-family: "Noto Sans Mono", "Inconsolata", "Courier New", monospace; font-weight: bold; font-size: 81%;} /* was 90% */
span.normal {font-weight: normal;}
span.nowrap {white-space: nowrap;}
span.small-i {font-size: 80%;}
/* span.alt-bg-success {color: inherit; background-color: #88ff88;} */
img.center {width: 90%; height: auto; display: block; margin-left: auto; margin-right: auto;}
img.centered {display: block; margin-left: auto; margin-right: auto; max-width: 100%; height: auto;}
img.cleared {clear: both;}
img.install-wine {display: block; margin: 2em auto 2em auto;}
img.logo {max-width: 128px; height: auto; margin-top: 2em; margin-left: 8em;}
img.header {width: 100%; height: auto; display: block; margin: 3em auto 2em auto;}
img.header-lft {display: inline-block; margin: auto 0px auto 0px; padding: 0px; width: 20%; height: 20%;}
img.header-mid {display: inline-block; margin: auto 0px auto 0px; padding: 0px; width: 60%; height: 60%;}
img.header-rht {display: inline-block; margin: auto 0px auto 0px; padding: 0px; width: 20%; height: 20%;}
video {max-width: 100%; height: auto;}