<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">* {
  font-family:Verdana,"Helvetica Neue", Arial;
  font-size:14px;
  line-height:1.5em;
}

body {
  background-color:grey;
  margin-top:0px;
  margin-bottom:0px;
  padding:0px;
}

#title{
  text-align:center;
  font-size:2em;
  padding-bottom:10px;
}

.nav {
  text-align:center;
  padding:5px 0px;
  border-bottom:1px solid black;
  z-index:999;
}

.nav a {
  text-decoration:none;
}

#nav{
  border-top:1px solid black;
}

#navPinned {
  background-color:white;
  position:fixed;
  top:0px;
  margin: 0px auto;
  margin-right: 4em;
}

#contentPinned {
  width:100%;
  background-color:white;
  position:relative;
}

.backToTop {
  text-align:right;
  padding: 0px 0px 3px 0px;
  border-bottom:1px solid #888;
  clear: both;
}

.backToTop a{
  color:#888;
  text-decoration:none;
}

.codeBlock{
  font-family:monospace;
  font-weight:550;
  padding: 10px 15px;
  margin:20px 0px;
  background-color:#C8E3FF;
}

.inlineCode{
  font-family:monospace;
  background-color:#DDD;
  padding:3px 5px;
}

#container{
  margin: 0 auto;
  padding: 0;
  width: 75%;
  background-color: white;
  padding:1em 2em;
  overflow:hidden;
}

.section {
  margin-left:2em;
  padding-right:2em;
  overflow:hidden;
}

.subsection {
  margin-left:3em;
  padding-right:3em;
}

.contentNavLink {
  height: 0;
  width: 0;
  margin: 0;
  padding: 0;
}

li {
  padding:5px;
}

h1 {
  font-size:1.8em;
}

h2 {
  font-size:1.25em;
}
</pre></body></html>