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
{
  overflow: scroll;
  border-right: 1px solid #bfbfbf;
  padding: .5rem 1rem;
  background-color: #f5f5f5;
}

.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;
}


.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;
}