/* Shared defaults and content styles retained from the original site. Load before site.css. */


html {
  font-size: 100%;
  overflow-y: scroll;
  -webkit-text-size-adjust: 100%;
  -ms-text-size-adjust: 100%;
}


body { 
 margin: 0;
 padding: 0;
 font-size: 20px;
}

@media only screen and (min-width: 480px) {
  body {
    font-size: 14px;
  }
}
@media only screen and (min-width: 768px) {
  body {
    font-size: 16px;
  }
}
@media only screen and (min-width: 968px) {
  body {
    font-size: 18px;
  }
}

@media only screen and (min-width: 1200px) {
  body {
    font-size: 20px;
  }
}

body > h1  { padding-left: 0.2em; margin-left: 0.2em }
body > h2  { padding-left: 0.2em; margin-left: 0.2em }

.sidebar { 
   text-align: left;

   font-size: 90%;
   margin: 0em; 
   padding: 0.4em 0.4em 0.4em 0.0em;
   max-width: 12em;
}


.sidebar ul {  
   margin-top: 0;
   padding-left: 0.7em;
   margin-left: 0.7em;

   list-style-image: none;
}

.sidebar ul ul {
/* generic properties for .sidebar ul */
   padding-left: 0.8em;
   margin-left: 0.8em;
}

.sidemenu > ul {
  list-style-type: none;
  margin-left:0.1em;
  padding-left:0.1em;
}

.center { 
  padding: 0;
  margin: 0;
}

.sidemenu > ul > li {
   padding: 0.05em;
   padding-bottom: 0.6em;
}

.sidemenu > ul > li > a {
   color: rgb(60,130,210); 
   font-size: 120%;
}

.main { 
    margin: 0.5em;
    max-width: 50em;
}

ul.changelog li {font-weight: bold; color: blue}
ul.changelog li li {font-weight: normal; color: black}
.release_dates ul {display: inline; padding: 0; padding-left: 0.5em}
.release_dates li {display: inline; padding-left: 1em; white-space:nowrap}

.timepoint-new {font-family:monospace ; font-size: 85%; color: orange}
.timepoint     {font-family:monospace ; font-size: 85%; color:rgb(0,0,100)}

.userinput {font-family:times,monospace; background-color:rgb(240,240,240); }

ul.changelog .heading2 {font-weight: bold; color: green}


ul.uncompressed li {margin-bottom:1em}

.compressed {margin: 0.25em;}

.spaced-item li {margin: 0.5em}

.roundedbox {border: solid; border-width: 0.15em; border-radius:1.5em; padding:1em}
.warningbox {border: solid; border-width: 0.15em; border-radius:1.5em; padding:1em; border-color: #EE9090; background-color: #FFEAEA}
.right_ref {float: right; padding-left:1em; padding-right: 4em}


body { background: white; font-family: Helvetica, sans-serif;}

a         { text-decoration: none; }

 



a[href]:hover   { background: rgb(240,240,243); }

.sidebar { 
   background: rgb(220,220,220);
/*   border: 2px outset; */
}

.sidemenu a[aria-current="page"] { font-weight: bold; }

.sidemenu a[aria-current="page"]:before { content: "[" ; }
.sidemenu a[aria-current="page"]:after { content: "]" ; }



table.backlit td { 
	background: rgb(238,238,238); 
}

table {border-collapse: collapse}
table.data > tbody > tr:nth-child(odd) > td { background-color: #E0E0E0;  }
table.data > tbody > tr:nth-child(even) > td { background-color: #EEEEEE;  }
table.data td { padding-left: 1em; padding-right: 1em }

.prompt {
    font-weight: bold;
    color: green;

    /* Allow copying commands without selecting the prompt. */
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none
}

pre.screen {
	background-color: #F0F0F0;
	padding: 6px;
}


/* Leave breathing room after the final content without a repeated contact footer. */
body { padding-bottom: 1.5rem; }

/* Preserve the original letter-by-letter logo colors. */
.logo-letters { white-space: nowrap; }
.logo-letters > span:nth-child(1) { background: rgb(255, 70, 19); }
.logo-letters > span:nth-child(2) { background: rgb(255, 175, 33); }
.logo-letters > span:nth-child(3) { background: rgb(242, 255, 48); }
.logo-letters > span:nth-child(4) { background: rgb(160, 255, 62); }
.logo-letters > span:nth-child(5) { background: rgb(91, 255, 76); }
.logo-letters > span:nth-child(6) { background: rgb(90, 255, 147); }
.logo-letters > span:nth-child(7) { background: rgb(104, 255, 220); }
.logo-letters > span:nth-child(8) { background: rgb(118, 229, 255); }
.logo-letters > span:nth-child(9) { background: rgb(132, 179, 255); }
.logo-letters > span:nth-child(10) { background: rgb(151, 146, 255); }