<style type="text/css">
body {}  /* nav styles don't work without this */
/*
.main-column {
  height: 30em;
  overflow: auto;
  position: sticky;
  top: -5em;
  }
*/
.main-column {
  /* position: relative;
  top: -5em; */
  clear: none;
  }
.region-preface {
  display: none;
  }
.prefix {
  padding-top: 1em;
  font-size: 40%;
  }
h1 {
  margin-top: 1ex;
  margin-bottom: 1ex;
}
h3 {
  /* same as h2 for initial "h2" sections in short h1 page */
  font-size: 3rem;
  }
figure {
  margin-bottom: 1em;
  }
nav.ccd ul li ul {
  display: none;
  }
nav.ccd ul li.active_item ul {
  display: block;
  }
li.active_item {
  font-weight: bold;
  }
nav.ccd li::marker {
  content: none;
  }
/* section.level1, section.level2 {
  padding-top: 5em;
  margin-top: -5em;
  } */
.ss {
  border: 1px solid #666;        
  box-shadow: 5px -5px 5px 0px #96A5A5;
  margin-top: 1ex;
  margin-bottom: 0.5ex;
  }
.zoom {
  transition: transform .2s; /* Animation */
  margin: 0 auto;
  max-width: 60%;
  }
.zoom:hover {
  transform: scale(2.3);
  }
.snippet {
  display: inline-block;
  border-bottom: dashed 1px #aaa;
  position: relative;
  }  
.snippet:hover {
  background: #dd0;
  }
.snippet .help-snippet {
  display: none;
  }  
.snippet:hover .help-snippet, .help-snippet:hover {
  display: block;
  position: absolute;
  left: -11em;
  width: 22em;
  background: white;
  border: 1px solid #666;
  box-shadow: 5px -5px 5px 0px #96A5A5;
  padding: 1ex;
  z-index: 100;
  }  
.banner {
  margin: 0.5ex;
  border: 2px solid pink;
  padding: 0.5ex;
  white-space: pre-wrap;
  width: 60%;
  }
</style>
