.ac-animate-opacity{animation-name:opac ; animation-duration: 2s; animation-timing-function: ease-in-out; animation-delay: 0; animation-iteration-count: 0; animation-direction: normal; }@keyframes opac {0%{opacity:0;} 10%{opacity:1;}90%{opacity:1;} 100%{opacity:0;}}
.ac-animate-fading{animation:fading 5s infinite}@keyframes fading{0%{opacity:0}10%{opacity:1}90%{opacity:1}100%{opacity:0}}
.ac-vmenu {width: 200px;}
.ac-vmenu a {background-color:  white;color:  black; display: block; padding: 12px; text-decoration: none;}
.ac-vmenu a:hover { background-color:  gray;}
.ac-vmenu a.active { background-color: dark-gray; color:  white;}
.ac-display-topright{position:absolute;right:0;top:45px}
.ac-display-topmiddle{position:absolute;right:50%;top:45px}
.ac-center-cropped{object-fit:cover;object-position:center;width:80%;top:0px;}
.ac-center-cropped2{object-fit:cover;object-position:center;height:80%;width:60%}
.ac-center-cropped3{position:absolute;top:90px;object-fit:cover;object-position:center;width:100%;top:45px;}
.ac-pre {color:  #000000; background-color:  #fffbd3; font-size: smaller; font-family: Courier New, Consolas, monospace, serif; text-align: left; white-space: pre; overflow-x: scroll; } 
.ac-underlinetext {text-decoration: underline;}
.ac-anchor{ /* Thanks to Phillip Lovelace for a really useful tip, see "https://pixelflips.com/blog/anchor-links-with-a-fixed-header"*/
  display: block; height: 110px; /*same height as header*/ margin-top: -110px; /*same height as header*/ visibility: hidden; }
.ac-spacing-normal{ letter-spacing: normal; }