#innerdocbody h1{font-size: 2.5em;}
#innerdocbody h2{font-size: 1.8em;}
#innerdocbody h3{font-size: 1.5em;}
#innerdocbody h4{font-size: 1.2em;}
#innerdocbody code{font-family: RobotoMono;}
#innerdocbody h1,
#innerdocbody h2,
#innerdocbody h3,
#innerdocbody h4 {
  display: inline-block;
}