a:focus { background-color: white;
                color: black;
}
a:hover { background-color: white;
                color: black;
}
a:active { background-color: yellow;
                color: black;
}

body  {
        margin: 2px auto;
        max-width: 64em;
        font-family: sans-serif;
        color: #333333;
        display: grid;
        grid-template-columns: 120px 1fr;
        grid-template-rows: auto 1fr 20px;
        min-height: 100vh;
}

header  {
        border: 0px solid;
        background: #3CB371;
        border-color: #3CB371;
        text-align: center;
        font: 2.0em Times, serif;
        color: white;
        margin: 2px;
        padding-bottom: 0.15em;
        grid-column: 1 / 3;
        grid-row: 1;
}

nav ul      { 
        padding-left: 0.5em;
        list-style-type: none;
        font: 0.9em/275% Verdana;
        font-color: white;
	line-height: 3em;
        position: sticky;
        top: 0;
}

hdl     {
        font: 1.2em Times, serif;
}

nav {  
        position: relative;
	padding-top: 0.8em;
        color: white;
        margin: 2px;
/*        background: #AE6500; */
	background: #00ff40; 
        border-color: #AE6500;
        grid-column: 1;
        grid-row: 2 / 4;
}

article {
        padding-top: 0.4em;
        padding-left: 0.6em;
        padding-right: 0.6em;
        margin: 2px;
        font: 0.9em Times, serif;
        background: #F5FFFA;
	border-color: #F5FFFA;
	grid-column: 2 / 4;
	grid-row: 2 / 4;
}

footer {
        padding-right: 0.5em;
        font: 0.7em Verdana;
        color: white;
        text-align: right;
        margin: 2px;
        background: #3CB371;
	border-color: #FFFFFF;
	grid-column: 1 / 3;
	grid-row: 4;
}

  .tex sub, .latex sub, .latex sup {
      text-transform: uppercase;
    }

    .tex sub, .latex sub {
      vertical-align: -0.5ex;
      margin-left: -0.1667em;
      margin-right: -0.125em;
    }

    .tex, .latex, .tex sub, .latex sub {
      font-size: 1em;
    }

    .latex sup {
      font-size: 0.85em;
      vertical-align: 0.15em;
      margin-left: -0.36em;
      margin-right: -0.15em;
    }

 .container {
  position: relative;
  text-align: center;
  font-family: Times, serif;
  }

.top-right {
/*  font: 2.2em Verdana; */
/*  font: 30px Times, serif; */	
  font-size: calc(10px + (28 - 10) * ((100vw - 320px) / (1600 - 320)));	
  position: absolute;
  top: 6px;
  right: 26px;
  color: black;
  background-color: oldlace;
/* padding: 0em 0.22em 0.0em 0.22em; */
  padding: 0px 7px 0px 7px;
}

.top-left {
/*  font: 1.8em Times, serif; */
  font-size: calc(9px + (28 - 9) * ((100vw - 320px) / (1600 - 320)));	
  position: absolute;
  top: 8px;
  left: 26px;
  color: black;
  background-color: oldlace;
/*  padding: 0em 0.2em 0em 0.2em; */
  padding: 0px 7px 0px 7px;
}