body{
  color:var(--doc-fg);
  background-color: var(--doc-bg);
  line-height: 1.45;
  font-size: 16px;
  font-weight: 400;
  font-optical-sizing: auto;
  font-style: normal;
}

#table_of_content {
  position: fixed;
  min-width: 280px;
  top: 80px;
  right: 80px;
  width: 280px;
  background-color: var(--doc-bg-light);
  border-radius: 12px;
}

#table_of_content ul {
  height:24%;
  padding: 0;
  overflow-y: auto;
  overflow-x: hidden;
}

#table_of_content li {
  position: relative;
  width: 100%;
}

#table_of_content li:first-child {
  margin-top: 12px;
}
#table_of_content li:last-child {
  margin-bottom: 12px;
}

#table_of_content a {
  display: block;
  padding: 8px 24px;
  color: var(--doc-fg);
  text-decoration: none;
  cursor: pointer;
}

#main-doc {
  position: absolute;
  margin-right: 360px;
  padding: 64px 30px;
  margin-bottom: 110px;
  max-width: 800px;
}

#main-doc h1{
  line-height: 1.2;
  margin-top:32px;
  margin-bottom: 32px;
  font-size:1.8em;
}

#main-doc h3{
  line-height: 1.2;
  margin-top:24px;
  margin-bottom: 8px;
  font-size:1em;
  font-weight: bold;
}

header {
  margin-top: 24px;
  font-size: 1.25em;
  font-weight: bold;
}

section article {
  margin: 4px 12px 12px 0;
  font-size: 0.96em;
}

section li {
  margin: 6px 0px 0px 16px;
}

ul ul li{
  margin-left: 32px;
}

code {
  display: inline-block;
  text-align: left;
  white-space: pre-line;
  position: relative;
  word-break: normal;
  word-wrap: normal;
  line-height: 1;
  background-color: var(--doc-code-bg);
  padding:0px 4px;
  border-radius: 5px;
  font-family: var(--font-code);
  font-style: italic;
  color:var(--doc-code-fg);
}

@media only screen and (max-width: 800px) {
  /* For mobile phones: */
  body{
    font-size: 14px;
  
  }

  #table_of_content { 
    display: none;
  }

  #main-doc {
    position: relative;
    margin-right: 0px;
    padding: 48px 20px;
  }
}