html
{
  font-family: sans-serif;
  font-size: 14px;
  line-height: 1.15;
}

body
{
  margin: 0;
}

html.main
{
  height: 100%;
}

body.main
{
  display: flex;
  height: 100%;
  overflow: hidden;
}

.side-navigation
{
  border-right: 1px solid #bfbfbf;
  padding: .5rem 1rem;
  background-color: #f5f5f5;
  display: flex;
}

.side-navigation > .tab-bar
{
  display: flex;
  writing-mode: vertical-lr;
  margin: 1.5em .5em 0 0;
}

.side-navigation > .tab-bar > .tab
{
  rotate: 180deg;
  padding: .5em;
  margin: .25em 0 .25em 0;
}

.side-navigation > .content-column
{
  overflow: scroll;
}

.side-navigation > ul
{
  padding: 0;
  list-style-type: none;
}

.side-navigation > ul > li
{
  display: block;
}

.side-navigation > ul > li > a
{
  text-decoration-line: none;
}

.document-content
{
  flex: auto;
}

iframe
{
  width: 100%;
  height: 100%;
  border: 0;
}

h4
{
  padding: .25em;
}

h4:target
{
  transition-duration: .5s;
  transition-property: background;
  background: #E8E8E8;
}

.content
{
  max-width: 1024px;
  margin: 0 auto;
}

.ada-code-snippet
{
  border: 1px solid #D5D5D5;
  border-radius: .3rem;
  background-color: #FCFCFC;
  margin: .5rem 1rem 1rem;
  padding: .25rem .4rem;
  overflow: auto;
}