/* Fonts */
@font-face {
  font-family: 'Lato';
  font-style: normal;
  font-weight: 100;
  src: url('lato-v11-latin-regular.eot');
  src: local('Lato'), local('Lato'),
  url('lato-v11-latin-100.eot?#iefix') format('embedded-opentype'),
  url('lato-v11-latin-100.woff') format('woff'),
  url('lato-v11-latin-100.ttf') format('truetype');
}

@font-face {
  font-family: 'Lato';
  font-style: normal;
  font-weight: 400;
  src: url('lato-v11-latin-regular.eot');
  src: local('Lato'), local('Lato'),
  url('lato-v11-latin-regular.eot?#iefix') format('embedded-opentype'),
  url('lato-v11-latin-regular.woff') format('woff'),
  url('lato-v11-latin-regular.ttf') format('truetype');
}

@font-face {
  font-family: 'Open Sans';
  font-style: normal;
  font-weight: 400;
  src: url('open-sans-v13-latin-regular.eot');
  src: local('Open Sans'), local('OpenSans'),
  url('open-sans-v13-latin-regular.eot?#iefix') format('embedded-opentype'),
  url('open-sans-v13-latin-regular.woff') format('woff'),
  url('open-sans-v13-latin-regular.ttf') format('truetype');
}
@font-face {
  font-family: 'Open Sans';
  font-style: italic;
  font-weight: 400;
  src: url('open-sans-v13-latin-400i.eot');
  src: local('Open Sans Italic'), local('OpenSans-Italic'),
  url('open-sans-v13-latin-400i.eot?#iefix') format('embedded-opentype'),
  url('open-sans-v13-latin-400i.woff') format('woff'),
  url('open-sans-v13-latin-400i.ttf') format('truetype');
}
@font-face {
  font-family: 'Open Sans';
  font-style: oblique;
  font-weight: 400;
  src: url('open-sans-v13-latin-400i.eot');
  src: local('Open Sans Italic'), local('OpenSans-Italic'),
  url('open-sans-v13-latin-400i.eot?#iefix') format('embedded-opentype'),
  url('open-sans-v13-latin-400i.woff') format('woff'),
  url('open-sans-v13-latin-400i.ttf') format('truetype');
}
@font-face {
  font-family: 'Open Sans';
  font-style: normal;
  font-weight: 700;
  src: url('open-sans-v13-latin-700.eot');
  src: local('Open Sans Bold'), local('OpenSans-Bold'),
  url('open-sans-v13-latin-700.eot?#iefix') format('embedded-opentype'),
  url('open-sans-v13-latin-700.woff') format('woff'),
  url('open-sans-v13-latin-700.ttf') format('truetype');
}
@font-face {
  font-family: 'Open Sans';
  font-style: italic;
  font-weight: 700;
  src: url('open-sans-v13-latin-700i.eot');
  src: local('Open Sans Bold Italic'), local('OpenSans-BoldItalic'),
  url('open-sans-v13-latin-700i.eot?#iefix') format('embedded-opentype'),
  url('open-sans-v13-latin-700i.woff') format('woff'),
  url('open-sans-v13-latin-700i.ttf') format('truetype');
}
@font-face {
  font-family: 'Open Sans';
  font-style: oblique;
  font-weight: 700;
  src: url('open-sans-v13-latin-700i.eot');
  src: local('Open Sans Bold Italic'), local('OpenSans-BoldItalic'),
  url('open-sans-v13-latin-700i.eot?#iefix') format('embedded-opentype'),
  url('open-sans-v13-latin-700i.woff') format('woff'),
  url('open-sans-v13-latin-700i.ttf') format('truetype');
}

@font-face {
  font-family: 'Source Code Pro';
  font-style: normal;
  font-weight: 400;
  src: url('source-code-pro-v6-latin-regular.eot');
  src: local('Source Code Pro'), local('SourceCodePro-Regular'),
  url('source-code-pro-v6-latin-regular.eot?#iefix') format('embedded-opentype'),
  url('source-code-pro-v6-latin-regular.woff') format('woff'),
  url('source-code-pro-v6-latin-regular.ttf') format('truetype');
}
@font-face {
  font-family: 'Source Code Pro';
  font-style: normal;
  font-weight: 700;
  src: url('source-code-pro-v6-latin-700.eot');
  src: local('Source Code Pro Bold'), local('SourceCodePro-Bold'),
  url('source-code-pro-v6-latin-700.eot?#iefix') format('embedded-opentype'),
  url('source-code-pro-v6-latin-700.woff') format('woff'),
  url('source-code-pro-v6-latin-700.ttf') format('truetype');
}

* {
  color: inherit;
  text-decoration: none;
  font-family: "Lato", Arial, sans-serif;
  border-width: 0px;
  margin: 0px;
}

u { 
  text-decoration: underline; 
}

a {
  cursor: pointer;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

span.entity > a {
  padding: 0.1em 0.5em;
  margin-left: 0.2em;
}

span.entity > a.selected {
  background-color: #C2D2DC;
  border-radius: 0.2em;
}

html {
  background-color: #f0f3f6;
  box-sizing: border-box;
}
*, *:before, *:after {
  box-sizing: inherit;
}

textarea, input { outline: none; }

#library {
    display: none;
}

#browser {
  width: 17.5em;
  top: 0px;
  left: 0;
  bottom: 0px;
  display: block;
  position: fixed;
  background-color: #f0f3f6;
}

#browser.full-screen {
  left: -17.5em;
}

#search {
  background-color: #103a51; /* typesafe blue */
  min-height: 5.5em;
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  height: 3em;
  min-height: initial;
  z-index: 103;
  box-shadow: 0 0 4px rgba(0, 0, 0, 0.18), 0 4px 8px rgba(0, 0, 0, 0.28);
}

#search > h1 {
  font-size: 2em;
  position: absolute;
  left: 0.25em;
  top: 0.5em;
}

#search > h2 {
  position: absolute;
  left: 3.8em;
  top: 3em;
}

#search > img.scala-logo {
  width: 3em;
  height: auto;
  position: absolute;
  left: 5.8em;
  top: 0.43em;
}

#search > span.toggle-sidebar {
  position: absolute;
  top: 0.8em;
  left: 0.2em;
  color: #fff;
  z-index: 99;
  width: 1.5em;
  height: 1.5em;
}

#search > span#doc-title {
  color: #fff;
  position: absolute;
  top: 0.8em;
  left: 0;
  width: 18em;
  text-align: center;
  cursor: pointer;
  z-index: 2;
}

#search > span#doc-title > span#doc-version {
  color: #c2c2c2;
  font-weight: 100;
  font-size: 0.72em;
  display: inline-block;
  width: 12ex;
  overflow: hidden;
  white-space: nowrap;
  text-overflow: ellipsis;
}

#search > span#doc-title > span#doc-version:hover {
  overflow: visible;
}

#search > span.toggle-sidebar:hover {
  cursor: pointer;
}

/* Pseudo element replacing UTF8-symbol "Trigram From Heaven" */
#search > span.toggle-sidebar:before {
  position: absolute;
  top: -0.45em;
  left: 0.45em;
  content: "";
  display: block;
  width: 0.7em;
  -webkit-box-shadow: 0 0.8em 0 1px #fff, 0 1.1em 0 1px #fff, 0 1.4em 0 1px #fff;
  box-shadow: 0 0.8em 0 1px #fff, 0 1.1em 0 1px #fff, 0 1.4em 0 1px #fff;
}

#search > span.toggle-sidebar:hover:before {
  -webkit-box-shadow: 0 0.8em 0 1px #c2c2c2, 0 1.1em 0 1px #c2c2c2, 0 1.4em 0 1px #c2c2c2;
  box-shadow: 0 0.8em 0 1px #c2c2c2, 0 1.1em 0 1px #c2c2c2, 0 1.4em 0 1px #c2c2c2;
}

#textfilter > .pre {
  display: block;
  position: absolute;
  top: 0;
  left: 0;
  height: 23px;
  width: 21px;
}

#textfilter {
  position: absolute;
  top: 0.5em;
  bottom: 0.8em;
  left: 0;
  right: 0;
  display: block;
  height: 2em;
}

#textfilter > .input {
  position: relative;
  display: block;
  padding: 0.2em;
  max-width: 48.5em;
  margin: 0 auto;
}

#textfilter > .input > i#search-icon {
  color: rgba(255,255,255, 0.4);
  position: absolute;
  left: 0.34em;
  top: 0.3em;
  font-size: 1.3rem;
}

#textfilter > span.toggle {
  cursor: pointer;
  padding-left: 15px;
  position: absolute;
  left: -0.55em;
  top: 3em;
  z-index: 99;
  color: #fff;
  font-size: 0.8em;
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}

#textfilter > span.toggle:hover {
  color: #c2c2c2;
}

#textfilter > span.toggle:hover {
  cursor: pointer;
}

#textfilter > .hide:hover {
  cursor: pointer;
  color: #a2a2a2;
}

#textfilter > .input > input {
  font-family: "Open Sans";
  font-size: 0.85em;
  height: 2em;
  padding: 0 0 0 2.1em;
  color: #fff;
  width: 100%;
  border-radius: 0.2em;
  background: rgba(255, 255, 255, 0.2);
}


#textfilter > .input > input::-webkit-input-placeholder {
  color: rgba(255, 255, 255, 0.4);
}

#textfilter > .input > input::-moz-placeholder {
  color: rgba(255, 255, 255, 0.4);
}

#textfilter > .input > input:-ms-input-placeholder {
  color: rgba(255, 255, 255, 0.4);
}

#textfilter > .input > input:-moz-placeholder {
  color: rgba(255, 255, 255, 0.4);
}

#focusfilter > .focusremove:hover {
  text-decoration: none;
}

#textfilter > .input > .clear {
  display: none;
  position: absolute;
  font-size: 0.9em;
  top: 0.7em;
  right: 0.1em;
  height: 23px;
  width: 21px;
  color: rgba(255, 255, 255, 0.4);
}

#textfilter > .input > .clear:hover {
  cursor: pointer;
  color: #fff;
}

#focusfilter {
  font-size: 0.9em;
  position: relative;
  text-align: center;
  display: none;
  padding: 0.6em;
  background-color: #f16665;
  color: #fff;
  margin: 3.9em 0.55em 0 0.35em;
  border-radius: 0.2em;
  z-index: 1;
}

div#search-progress {
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  height: 0.25em;
}

div#search-progress > div#progress-fill {
  width: 0%;
  background-color: #f16665;
  transition: 0.1s;
}

#focusfilter .focuscoll {
  font-weight: bold;
}

#focusfilter a.focusremove {
  margin-left: 0.2em;
  font-size: 0.9em;
}

#kindfilter-container {
  position: fixed;
  display: block;
  z-index: 99;
  bottom: 0.5em;
  left: 0;
  width: 17.25em;
}

#kindfilter {
  float: right;
  text-align: center;
  padding: 0.3em 1em;
  border-radius: 0.8em;
  background: #f16665;
  border-bottom: 2px solid #d64546;
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
  color: #fff;
  font-size: 0.8em;
}

#kindfilter:hover {
  cursor: pointer;
  background-color: rgb(226, 87, 88);
}

#letters {
  position: relative;
  text-align: center;
  border: 0;
  margin-top: 0em;
  color: #fff;
}

#letters > a, #letters > span {
  color: #fff;
  font-size: 0.67em;
  padding-right: 2px;
}

#letters > a:hover {
  text-decoration: none;
  color: #c2c2c2;
}

#letters > span {
  color: #bbb;
}

div#content-scroll-container {
  position: absolute;
  top: 0;
  right: 0;
  bottom: 0;
  left: 0;
  z-index: 100;
  overflow-x: hidden;
  overflow-y: auto;
}

div#content-container {
  max-width: 1140px;
  margin: 0 auto;
}

div#content-container > div#content {
  -webkit-overflow-scrolling: touch;
  display: block;
  overflow-y: hidden;
  max-width: 1140px;
  margin: 4em auto 0;
}

div#content-container > div#subpackage-spacer {
  float: right;
  height: 100%;
  margin: 1.1rem 0.5rem 0 0.5em;
  font-size: 0.8em;
  min-width: 8rem;
  max-width: 16rem;
}

div#packages > h1 {
  color: #103a51;
}

div#packages > ul {
  list-style-type: none;
}

div#packages > ul > li {
  position: relative;
  margin: 0.5rem 0;
  width: 100%;
  border-radius: 0.2em;
  min-height: 1.5em;
  padding-left: 2em;
}

div#packages > ul > li.current-entities {
  margin: 0.3rem 0;
}

div#packages > ul > li.current:hover {
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  cursor: pointer;
}

div#packages > ul > li.current-entities > *:nth-child(1),
div#packages > ul > li.current-entities > *:nth-child(2) {
  float: left;
  display: inline;
  height: 1rem;
  width: 1rem;
  margin: 1px 0 0 0;
  cursor: pointer;
}

div#packages > ul > li > a.class {
  background: url("class.svg") no-repeat center;
  background-size: 0.9rem;
}

div#packages > ul > li > a.trait {
  background: url("trait.svg") no-repeat center;
  background-size: 0.9rem;
}

div#packages > ul > li > a.object {
  background: url("object.svg") no-repeat center;
  background-size: 0.9rem;
}

div#packages > ul > li > a.abstract.type {
  background: url("abstract_type.svg") no-repeat center;
  background-size: 0.9rem;
}

div#packages > ul > li > a {
  text-decoration: none !important;
  margin-left: 1px;
  font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace;
  font-size: 0.9em;
}

/* Indentation levels for packages */
div#packages > ul > li.indented0  { padding-left: 0em; }
div#packages > ul > li.indented1  { padding-left: 1em; }
div#packages > ul > li.indented2  { padding-left: 2em; }
div#packages > ul > li.indented3  { padding-left: 3em; }
div#packages > ul > li.indented4  { padding-left: 4em; }
div#packages > ul > li.indented5  { padding-left: 5em; }
div#packages > ul > li.indented6  { padding-left: 6em; }
div#packages > ul > li.indented7  { padding-left: 7em; }
div#packages > ul > li.indented8  { padding-left: 8em; }
div#packages > ul > li.indented9  { padding-left: 9em; }
div#packages > ul > li.indented10 { padding-left: 10em; }
div#packages > ul > li.current.indented0  { padding-left: -0.5em }
div#packages > ul > li.current.indented1  { padding-left: 0.5em }
div#packages > ul > li.current.indented2  { padding-left: 1.5em }
div#packages > ul > li.current.indented3  { padding-left: 2.5em }
div#packages > ul > li.current.indented4  { padding-left: 3.5em }
div#packages > ul > li.current.indented5  { padding-left: 4.5em }
div#packages > ul > li.current.indented6  { padding-left: 5.5em }
div#packages > ul > li.current.indented7  { padding-left: 6.5em }
div#packages > ul > li.current.indented8  { padding-left: 7.5em }
div#packages > ul > li.current.indented9  { padding-left: 8.5em }
div#packages > ul > li.current.indented10 { padding-left: 9.5em }

div#packages > ul > li.current > span.symbol {
  border-left: 0.25em solid #72D0EB;
  padding-left: 0.25em;
}

div#packages > ul > li > span.symbol > a {
  text-decoration: none;
}

div#packages > ul > li > span.symbol > span.name {
  font-weight: normal;
}

div#packages > ul > li .fullcomment,
div#packages > ul > li .modifier_kind,
div#packages > ul > li .permalink,
div#packages > ul > li .shortcomment {
  display: none;
}

div#search-results {
  color: #103a51;
  position: absolute;
  left: 0;
  top: 3em;
  right: 0;
  bottom: 0;
  background-color: rgb(240, 243, 246);
  z-index: 101;
  overflow-x: hidden;
  display: none;
  padding: 1em;
  -webkit-overflow-scrolling: touch;
}

div#search > span.close-results {
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  position: fixed;
  top: 0.8em;
  left: 1em;
  color: #fff;
  display: none;
  z-index: 1;
}

div#search > span.close-results:hover {
  cursor: pointer;
}

div#results-content {
  max-width: 1140px;
  margin: 0 auto;
}

div#results-content > span.search-text {
  margin-left: 1em;
  font-size: 1.2em;
  float: left;
  width: 100%;
}

div#results-content > span.search-text > span.query-str {
  font-weight: 900;
}

div#results-content > div > h1.result-type {
  font-size: 1.5em;
  margin: 1em 0 0.3em;
  font-family: "Open Sans";
  font-weight: 300;
  border-bottom: 1px solid #103a51;
}

div#results-content > div#entity-results {
  float: left;
  width: 50%;
  padding: 1em;
  display: inline;
}

div#results-content > div#member-results {
  float: left;
  width: 50%;
  padding: 1em;
  display: inline;
}

div#results-content > div#member-results > a.package,
div#results-content > div#entity-results > a.package {
  font-size: 1em;
  margin: 0 0 1em 0;
  color: #f16665;
  cursor: pointer;
}

div#results-content > div#member-results > ul.entities,
div#results-content > div#entity-results > ul.entities {
  list-style-type: none;
  padding-left: 0;
}

div#results-content > div#member-results > ul.entities > li,
div#results-content > div#entity-results > ul.entities > li {
  margin: 0.5em 0;
}

div#results-content > div#member-results > ul.entities > li > .icon,
div#results-content > div#entity-results > ul.entities > li > .icon {
  float: left;
  display: inline;
  height: 1em;
  width: 1em;
  margin: 0.23em 0 0;
  cursor: pointer;
}

div#results-content > div#member-results > ul.entities > li > .icon.class,
div#results-content > div#entity-results > ul.entities > li > .icon.class {
  background: url("class.svg") no-repeat center;
  background-size: 1em 1em;
}

div#results-content > div#member-results > ul.entities > li > .icon.trait,
div#results-content > div#entity-results > ul.entities > li > .icon.trait {
  background: url("trait.svg") no-repeat center;
  background-size: 1em 1em;
}

div#results-content > div#member-results > ul.entities > li > .icon.object,
div#results-content > div#entity-results > ul.entities > li > .icon.object {
  background: url("object.svg") no-repeat center;
  background-size: 1em 1em;
}

div#results-content > div#member-results > ul.entities > li > span.entity,
div#results-content > div#entity-results > ul.entities > li > span.entity {
  font-size: 1.1em;
  font-weight: 900;
}

div#results-content > div#member-results > ul.entities > li > ul.members,
div#results-content > div#entity-results > ul.entities > li > ul.members {
  margin-top: 0.5em;
  list-style-type: none;
  font-size: 0.85em;
  margin-left: 0.2em;
}

div#results-content > div#member-results > ul.entities > li > ul.members > li,
div#results-content > div#entity-results > ul.entities > li > ul.members > li {
  margin: 0.5em 0;
}

div#results-content > div#member-results > ul.entities > li > ul.members > li > span.kind,
div#results-content > div#member-results > ul.entities > li > ul.members > li > span.tail,
div#results-content > div#entity-results > ul.entities > li > ul.members > li > span.kind,
div#results-content > div#entity-results > ul.entities > li > ul.members > li > span.tail {
  margin-right: 0.6em;
  font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace;
}

div#results-content > div#member-results > ul.entities > li > ul.members > li > span.kind {
  font-weight: 600;
}

div#results-content > div#member-results > ul.entities > li > ul.members > li > a.label,
div#results-content > div#entity-results > ul.entities > li > ul.members > li > a.label {
  color: #2C3D9B;
  font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace;
}

/** Scrollpane settings needed for jquery.scrollpane.min.js */
.jspContainer {
  overflow: hidden;
  position: relative;
}

.jspPane {
  position: absolute;
}

.jspVerticalBar {
  position: absolute;
  top: 0;
  right: 0;
  width: 0.6em;
  height: 100%;
  background: transparent;
}

.jspHorizontalBar {
  position: absolute;
  bottom: 0;
  left: 0;
  width: 100%;
  height: 16px;
  background: red;
}

.jspCap {
  display: none;
}

.jspHorizontalBar .jspCap {
  float: left;
}

.jspTrack {
  background: #f0f3f6;
  position: relative;
}

.jspDrag {
  display: none;
  background: rgba(0, 0, 0, 0.35);
  position: relative;
  top: 0;
  left: 0;
  cursor: pointer;
}

#tpl:hover .jspDrag {
  display: block;
}

.jspHorizontalBar .jspTrack,
.jspHorizontalBar .jspDrag {
  float: left;
  height: 100%;
}

.jspArrow {
  background: #50506d;
  text-indent: -20000px;
  display: block;
  cursor: pointer;
  padding: 0;
  margin: 0;
}

.jspArrow.jspDisabled {
  cursor: default;
  background: #80808d;
}

.jspVerticalBar .jspArrow {
  height: 16px;
}

.jspHorizontalBar .jspArrow {
  width: 16px;
  float: left;
  height: 100%;
}

.jspVerticalBar .jspArrow:focus {
  outline: none;
}

.jspCorner {
  background: #eeeef4;
  float: left;
  height: 100%;
}

/* CSS Hack for IE6 3 pixel bug */
* html .jspCorner {
  margin: 0 -3px 0 0;
}

/* Media query rules for smaller viewport */
@media only screen /* Large screen with a small window */
and (max-width: 1300px)
{
  #textfilter {
    left: 17.8em;
    right: 0.35em;
  }

  #textfilter .input {
    max-width: none;
    margin: 0;
  }
}

@media only screen /* Large screen with a smaller window */
and (max-width: 800px)
{
  div#results-content > div#entity-results {
    width: 100%;
    padding: 0em;
  }

  div#results-content > div#member-results {
    width: 100%;
    padding: 0em;
  }
}

/* Media query rules specifically for mobile devices */
@media
screen /* HiDPI device like Nexus 5 */
and (max-device-width: 360px)
and (max-device-height: 640px)
and (-webkit-device-pixel-ratio: 3)
,
screen /* Most mobile devices  */
and (max-device-width: 480px)
and (orientation: portrait)
,
only screen /* iPhone 6 */
and (max-device-width: 667px)
and (-webkit-device-pixel-ratio: 2)
{
  div#content-container > div#subpackage-spacer {
      display: none;
  }

  div#content-container > div#content {
    margin: 3.3em auto 0;
  }

  #search > span#doc-title {
    width: 100%;
    text-align: left;
    padding-left: 0.7em;
    top: 0.95em;
    z-index: 1;
  }

  #search > div#textfilter {
    z-index: 2;
  }

  #search > span#doc-title > span#doc-version {
    display: none;
  }

  #textfilter {
    left: 12.2em;
  }
}
/* Reset */

html, body, div, span, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, code, pre,
del, dfn, em, img, q, dl, dt, dd, ol, ul, li,
fieldset, form, label, legend, input,
table, caption, tbody, tfoot, thead, tr, th, td {
  margin: 0;
  padding: 0;
  border: 0;
  font-weight: inherit;
  font-style: inherit;
  font-size: 100%;
  font-family: inherit;
  vertical-align: baseline;
}

table { border-collapse: separate; border-spacing: 0; }
caption, th, td { text-align: left; font-weight: normal; }
table, td, th { vertical-align: middle; }

textarea, input { outline: none; }

blockquote:before, blockquote:after, q:before, q:after { content: ""; }
blockquote, q { quotes: none; }

a img { border: none; }

input { border-width: 0px; }

/* Page */
body {
  overflow-x: hidden;
  font-family: Arial, sans-serif;
  background-color: #f0f3f6;
}

#footer {
  text-align: center;
  color: #858484;
  bottom: 0;
  min-height: 20px;
  margin: 0 1em 0.5em;
}

#content-container a[href] {
  text-decoration: underline;
  color: #315479;
}

#content-container a[href]:hover {
  text-decoration: none;
}

#types ol li > p {
  margin-top: 5px;
}

#types ol li:last-child {
  margin-bottom: 5px;
}

#definition {
  position: relative;
  display: block;
  padding: 5px 0;
  padding: 0;
  margin: 0.5em;
  min-height: 4.72em;
}

#definition > a > img {
  float: left;
  padding-right: 6px;
  padding-left: 5px;
}

#definition p + h1 {
  margin-top: 3px;
}

#definition > h1 {
  float: left;
  color: #103a51;
  display: inline-block;
  overflow: hidden;
  margin-top: 10px;
  font-size: 2.0em;
}

#definition h1 > a {
  color: #103a51 !important;
  text-decoration: none !important;
}

#template ol > li > span.permalink > a > i {
  transform: rotate(-45deg);
}

#definition #owner {
  color: #103a51;
  padding-top: 1.3em;
  font-size: 0.8em;
  overflow: hidden;
}

#definition > h3 {
  margin-top: 0.85em;
  padding: 0;
}

#definition #owner > a {
  color: #103a51;
}

#definition #owner > a:hover {
  text-decoration: none;
}

#signature {
  background-color: #c2d2dc;
  min-height: 18px;
  font-size: 0.9em;
  padding: 8px;
  color: #103a51;
  border-radius: 0.2em;
  margin: 0 0.5rem;
}

#signature > span.modifier_kind {
  display: inline;
  float: left;
  text-align: left;
  width: auto;
  position: static;
  padding-left: 0;
}

span.symbol > a {
  display: inline-block;
}

#signature > span.symbol {
  text-align: left;
  display: inline;
  padding-left: 0.7em;
}

/* Linear super types and known subclasses */
.hiddenContent {
  display: none;
}

.toggleContainer .toggle {
  position: relative;
  color: #103a51;
  margin-left: 0.3em;
  cursor: pointer;
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}

.toggleContainer .toggle > i {
  position: absolute;
  left: -1.5em;
  top: 0em;
  font-size: 1.3em;
  transition: 0.1s;
}

.toggleContainer .toggle.open > i {
  transform: rotate(90deg);
}

.toggleContainer .hiddenContent {
  margin-top: 1.5em;
}

#memberfilter > i.arrow {
  position: absolute;
  top: 0.45em;
  left: -0.9em;
  color: #fff;
  font-size: 1.3em;
  opacity: 0;
  transition: 0.1s;
  cursor: pointer;
}

#memberfilter > i.arrow.rotate {
  transform: rotate(90deg);
}

#memberfilter:hover > i.arrow {
  opacity: 1;
}

.big-circle {
  box-sizing: content-box;
  height: 5.7em;
  width: 5.7em;
  float: left;
  color: transparent;
}

.big-circle:hover {
  background-size: 5.7em;
}

.big-circle.class {
  background: url("class.svg") no-repeat center;
}

.big-circle.class-companion-object {
  background: url("class_comp.svg") no-repeat center;
}

.big-circle.object-companion-class {
  background: url("object_comp.svg") no-repeat center;
}

.big-circle.trait-companion-object {
  background: url("trait_comp.svg") no-repeat center;
}

.big-circle.object-companion-trait {
  background: url("object_comp_trait.svg") no-repeat center;
}

.big-circle.object {
  background: url("object.svg") no-repeat center;
}

.big-circle.trait {
  background: url("trait.svg") no-repeat center;
}

.big-circle.package {
  background: url("package.svg") no-repeat center;
}

body.abstract.type div.big-circle {
  background: url("abstract_type.svg") no-repeat center;
}

body.alias.type div.big-circle {
  background: url("abstract_type.svg") no-repeat center;
}

#template {
  margin: 0.9em 0.75em 0.75em;
  padding-bottom: 0.5em;
}

#template h3 {
  color: #103a51;
  height: 2em;
  padding: 1em 1em 2em;
  font-size: 1.2em;
}

#order {
  margin-top: 1.5em;
}

h3 {
  color: #103a51;
  padding: 5px 10px;
  font-size: 1em;
  font-weight: bold;
}

dl.attributes > dt {
  display: block;
  float: left;
  font-style: italic;
  font-weight: bold;
}

dl.attributes > dt.implicit {
  font-weight: bold;
  color: darkgreen;
}

dl.attributes > dd {
  display: block;
  padding-left: 10em;
  margin-bottom: 5px;
  min-height: 15px;
}

.values ol li:last-child {
  margin-bottom: 5px;
}

#constructors > h3 {
  height: 2em;
  padding: 1em 1em 2em;
  color: #2C475C;
}

#inheritedMembers > div.parent > h3 {
  height: 17px;
  font-style: italic;
}

#inheritedMembers > div.parent > h3 * {
  color: white;
}

#inheritedMembers > div.conversion > h3 {
  height: 2em;
  padding: 1em;
  font-style: italic;
  color: #2C475C;
}

#groupedMembers > div.group > h3 {
  color: #2C475C;
  height: 2em;
  padding: 1em 1em 2em;
}

/* Member cells */
div.members > ol {
  list-style: none;
}

div.members > ol > li {
  display: table;
  width: 100%;
  position: relative;
  background-color: #fff;
  border-radius: 0.2em;
  color: #103a51;
  padding: 5px 0 5px;
  margin-bottom: 0.4em;
  min-height: 3.7em;
  border-left: 0.25em solid white;
  -webkit-box-shadow: 0 0 10px rgba(0,0,0,0.1);
  box-shadow: 0 0 10px rgba(0,0,0,0.1);
  transition: 0.1s;
}

div.members > ol >li.selected,
div.members > ol > li:hover {
  background-color: #dae7f0;
  border-left-color: #dae7f0;
}

div.members > ol >li[fullComment=yes].selected,
div.members > ol > li[fullComment=yes]:hover {
  cursor: pointer;
  border-left: 0.25em solid #72D0EB;
}

div.members > ol > li:last-child {
  padding: 5px 0 5px;
}

/* Member signatures */

#tooltip {
  background: #EFD5B5;
  border: 1px solid gray;
  color: black;
  display: none;
  padding: 5px;
  position: absolute;
}

.signature {
  font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace;
  font-size: 0.8rem;
  line-height: 18px;
  clear: both;
  display: block;
}

.modifier_kind {
  font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace;
  font-size: 0.8rem;
  padding-right: 0.5em;
  text-align: right;
  display: table-cell;
  white-space: nowrap;
  width: 16em;
}

.symbol {
  font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace;
}

a > .symbol > .name {
  text-decoration: underline;
}

a:hover > .symbol > .name {
  text-decoration: none;
}

.signature > a {
  text-decoration: none;
}

.signature > .symbol {
  display: inline;
}

.signature .name {
  display: inline-block;
  font-weight: bold;
}

span.symbol > span.name {
  font-weight: bold;
}

#types > ol > li > span.symbol > span.result {
  display: none;
}

#types > ol > li > span.symbol > span.result.alias,
#types > ol > li:hover > span.symbol > span.result,
#types > ol > li.open > span.symbol > span.result {
  display: inline;
}

.symbol > .implicit {
  display: inline-block;
  font-weight: bold;
  text-decoration: underline;
  color: darkgreen;
}

.symbol .shadowed {
  color: darkseagreen;
}

.symbol .params > .implicit {
  font-style: italic;
}

.symbol .deprecated {
  text-decoration: line-through;
}

.symbol .params .default {
  font-style: italic;
}

#template .closed {
  cursor: pointer;
}

#template .opened {
  cursor: pointer;
}

i.unfold-arrow {
  font-size: 1em;
  position: absolute;
  top: 0.55em;
  left: 0.7em;
  transition: 0.1s;
}

#template .modifier_kind.opened > i.unfold-arrow {
  transform: rotate(90deg);
}

#template .values .name {
  font-weight: 600;
  color: #315479;
}

#template .types .name {
  font-weight: 600;
  color: darkgreen;
}

.full-signature-usecase h4 span {
  font-size: 0.8rem;
}

.full-signature-usecase > #signature {
  padding-top: 0px;
  position: relative;
  top: 0;
}

/* Hide unfold arrow where appropriate */
#template li[fullComment=no] .modifier_kind > i.unfold-arrow,
div#definition > h4#signature > span.modifier_kind > i.unfold-arrow,
.full-signature-usecase > .signature > .closed > i.unfold-arrow,
.full-signature-usecase > .signature > .opened > i.unfold-arrow {
  display: none;
}

#template .full-signature-usecase > .signature > .closed {
  background: none;
}

#template .full-signature-usecase > .signature > .opened {
  background: none;
}

.full-signature-block {
  padding: 5px 0 0;
  border-top: 1px solid #EBEBEB;
  margin-top: 5px;
  margin-bottom: 5px;
}

#definition .morelinks {
  text-align: right;
  font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace;
}

#definition .morelinks a {
  color: #103a51;
}

#template .members li .permalink {
  position: absolute;
  left: 0.25em;
  top: 0.95em;
}

#definition .permalink {
  display: none;
  color: black;
}

#definition .permalink a {
  color: #103a51;
  transform: rotate(-45deg);
}

#definition > h1 > span > a > i {
  font-size: 1.4rem;
}

#template ol > li > span.permalink > a > i {
  color: #fff;
}

#template .members li .permalink,
#definition .permalink a {
  display: none;
}

#template .members li:hover .permalink,
#definition:hover .permalink a {
  display: block;
}

#template .members li .permalink a,
#definition .permalink a {
  text-decoration: none;
  font-weight: bold;
}

/* Comments text formatting */

.cmt {
  color: #103a51;
}

.cmt p {
  margin: 0.7em 0;
}

.cmt p:first-child {
  margin-top: 0;
}

.cmt p:last-child {
  margin-bottom: 0;
}

.cmt h3,
.cmt h4,
.cmt h5,
.cmt h6 {
  margin-bottom: 0.7em;
  margin-top: 1.4em;
  display: block;
  text-align: left;
  font-weight: bold;
}

.cmt pre {
  padding: 0.5em;
  border: 0px solid #ddd;
  background-color: #fff;
  margin: 5px 0;
  display: block;
  font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace;
  border-radius: 0.2em;
  overflow-x: auto;
}

.cmt pre span.ano {
  color: blue;
}

.cmt pre span.cmt {
  color: green;
}

.cmt pre span.kw {
  font-weight: bold;
}

.cmt pre span.lit {
  color: #c71585;
}

.cmt pre span.num {
  color: #1e90ff; /* dodgerblue */
}

.cmt pre span.std {
  color: #008080; /* teal */
}

.cmt ul {
  display: block;
  list-style: circle;
  padding-left: 20px;
}

.cmt ol {
  display: block;
  padding-left:20px;
}

.cmt ol.decimal {
  list-style: decimal;
}

.cmt ol.lowerAlpha {
  list-style: lower-alpha;
}

.cmt ol.upperAlpha {
  list-style: upper-alpha;
}

.cmt ol.lowerRoman {
  list-style: lower-roman;
}

.cmt ol.upperRoman {
  list-style: upper-roman;
}

.cmt li {
  display: list-item;
}

.cmt code {
  font-family: "Source Code Pro", "Monaco", "Ubuntu Mono Regular", "Lucida Console", monospace;
}

.cmt a {
  font-style: bold;
}

.cmt em, .cmt i {
  font-style: italic;
}

.cmt strong, .cmt b {
  font-weight: bold;
}

/* Comments structured layout */

.group > div.comment {
  display: block;
  padding: 0 1.2em 1em;
  font-family: "Open Sans";
}

p.comment {
  display: block;
  margin-left: 14.7em;
  margin-top: 5px;
}

.shortcomment {
  display: block;
  margin: 5px 10px;
}

.shortcomment > span.badge {
  display: block;
  position: absolute;
  right: 0;
  top: 0.7em;
}

div.fullcommenttop {
  padding: 1em 0.8em;
}

div.fullcomment {
  margin: 5px 10px;
}

#template div.fullcommenttop,
#template div.fullcomment {
  display:none;
  margin: 0.5em 1em 0 0;
}

#template .shortcomment {
  margin: 5px 0 0 0;
  padding: 0;
  font-family: "Open Sans";
}

div.fullcomment .block {
  padding: 5px 0 0;
  border-top: 2px solid #fff;
  margin-top: 5px;
  overflow: hidden;
  font-family: "Open Sans";
}

div.fullcommenttop .block {
  position: relative;
  padding: 1em;
  margin: 0.5em 0;
  border-radius: 0.2em;
  background-color: #fff;
  -webkit-box-shadow: 0 0 10px rgba(0,0,0,0.1);
  box-shadow: 0 0 10px rgba(0,0,0,0.1);
}

div.fullcommenttop .toggleContainer {
  border-left: 0 solid #72D0EB;
  transition: 0.1s;
  cursor: pointer;
}

div.fullcommenttop .toggleContainer:hover {
  border-left: 0.25em solid #72D0EB;
}

div#comment,
div#mbrsel,
div#template,
div#footer {
  font-size: 0.8em;
}

#comment {
  font-family: "Open Sans";
}

#comment > dl {
  background: transparent;
  -webkit-box-shadow: none;
  box-shadow: none;
}

#comment > dl > div > ol {
  list-style-type: none;
}

div.fullcomment div.block ol li p,
div.fullcomment div.block ol li {
  display:inline
}

div.fullcomment .block > h5 {
  font-style: italic;
  font-weight: normal;
  display: inline-block;
}

div.fullcomment .comment {
  font-family: "Open Sans";
  margin: 5px 0 10px;
}

div.fullcommenttop .comment:last-child,
div.fullcomment .comment:last-child {
  margin-bottom: 0;
}

div.fullcommenttop dl.paramcmts {
  margin-bottom: 0.8em;
  padding-bottom: 0.8em;
}

div.fullcommenttop dl.paramcmts > dt,
div.fullcomment dl.paramcmts > dt {
  display: block;
  float: left;
  font-weight: bold;
  min-width: 70px;
}

div.fullcommenttop dl.paramcmts > dd,
div.fullcomment dl.paramcmts > dd {
  display: block;
  padding-left: 10px;
  margin-bottom: 5px;
  margin-left: 70px;
  min-height: 15px;
}

/* Author Content Table formatting */

.doctbl {
  border-collapse: collapse;
  margin: 1.0em 0em;
}

.doctbl-left {
  text-align: left;
}

.doctbl-center {
  text-align: center;
}

.doctbl-right {
  text-align: right;
}

table.doctbl th {
  border: 1px dotted #364550;
  background-color: #c2d2dc;
  padding: 5px;
  color: #103a51;
  font-weight: bold;
}

table.doctbl td {
  border: 1px dotted #364550;
  padding: 5px;
}

/* Members filter tool */

#memberfilter {
  position: relative;
  display: block;
  height: 2.7em;
  margin-bottom: 5px;
  margin-left: 1.5em;
}

#memberfilter > .input {
  display: block;
  position: absolute;
  top: 0;
  left: -1.65em;
  right: -0.2em;
  transition: 0.2s;
}

#memberfilter > .input > input {
  color: #fff;
  width: 100%;
  border-radius: 0.2em;
  padding: 0.5em;
  background: rgba(255, 255, 255, 0.2);
  font-family: "Open Sans";
}

#memberfilter > .input > input::-webkit-input-placeholder {
  color: #fff;
  opacity: 0.6;
}
#memberfilter > .input > input:-ms-input-placeholder {
  color: #fff;
  opacity: 0.6;
}
#memberfilter > .input > input::placeholder  {
  color: #fff;
  opacity: 0.6;
}

#memberfilter > .clear {
  display: none;
  position: absolute;
  top: 0.55em;
  color: rgba(255, 255, 255, 0.4);
  right: 0;
  font-size: 1.2em;
}

#memberfilter > .clear:hover {
  color: #fff;
  cursor: pointer;
}

#mbrsel {
  display: block;
  padding: 1em 1em 0.5em;
  margin: 0.8em;
  border-radius: 0.2em;
  background-color: #364550;
  -webkit-box-shadow: 0 0 10px rgba(0,0,0,0.2);
  box-shadow: 0 0 10px rgba(0,0,0,0.2);
  position: relative;
}

#mbrsel > div.toggle {
  opacity: 0;
  position: absolute;
  left: 1.85em;
  top: 1.75em;
  width: 1em;
  height: 1em;
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
  transition: 0.2s;
}

#mbrsel:hover > div.toggle {
  opacity: 1;
}

#mbrsel:hover #memberfilter > .input {
  left: 0.7em;
}

#mbrsel > div.toggle > i {
  cursor: pointer;
  position: absolute;
  left: 0;
  top: 0;
  color: #fff;
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}

#mbrsel > div.toggle.open > i {
  transform: rotate(90deg);
}

#mbrsel > div#filterby {
  display: none;
}

#mbrsel > div#filterby > div {
  margin-bottom: 5px;
}

#mbrsel > div#filterby > div:last-child {
  margin-bottom: 0;
}

#mbrsel > div#filterby > div > span.filtertype {
  color: #fff;
  padding: 4px;
  margin-right: 1em;
  float: left;
  display: inline-block;
  font-weight: bold;
  width: 4.5em;
}

#mbrsel > div#filterby > div > ol {
  display: inline-block;
}

#mbrsel > div#filterby > div > a {
  position:relative;
  top: -8px;
  font-size: 11px;
}

#mbrsel > div#filterby > div > ol#linearization {
  display: table;
  margin-left: 70px;
}

#mbrsel > div#filterby > div > ol#linearization > li.in {
  text-decoration: none;
  float: left;
  margin-right: 5px;
  background-position: right 0px;
}

#mbrsel > div#filterby > div > ol#linearization > li.in > span{
  float: left;
}

#mbrsel > div#filterby > div > ol#implicits {
  display: table;
  margin-left: 70px;
}

#mbrsel > div#filterby > div > ol#implicits > li {
  text-decoration: none;
  float: left;
  margin: 0.4em 0.4em 0.4em 0;
}

#mbrsel > div#filterby > div > ol#implicits > li.in {
  text-decoration: none;
  float: left;
}

#mbrsel > div#filterby > div > ol#implicits > li.in > span{
  float: left;
}

#mbrsel > div#filterby > div > ol > li {
  line-height: 1.5em;
  display: inline-block;
  cursor: pointer;
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}

#mbrsel > div#filterby > div > ol > li.in {
  text-decoration: none;
  float: left;
  margin-right: 5px;

  font-size: 0.8em;
  -webkit-border-radius: 0.2em;
  border-radius: 0.2em;
  padding: 5px 15px;
  cursor: pointer;
  background: #f16665;
  border-bottom: 2px solid #d64546;
  color: #fff;
  font-weight: 700;
}

#mbrsel > div#filterby > div > ol > li.in > span{
  float: left;
}

#mbrsel > div#filterby > div > ol > li.out {
  text-decoration: none;
  float: left;
  padding-right: 10px;
  margin-right: 5px;
  font-size: 0.8em;
  -webkit-border-radius: 0.2em;
  border-radius: 0.2em;
  padding: 5px 15px;
  cursor: pointer;
  background: #c2d2dc;
  border-bottom: 2px solid rgba(0, 0, 0, 0.1);
  color: #103a51;
  font-weight: 700;
}

#mbrsel > div#filterby > div > ol > li.out > span{
  float: left;
}

.badge {
  display: inline-block;
  padding: 0.3em 1em;
  font-size: 0.8em;
  font-weight: bold;
  color: #ffffff;
  white-space: nowrap;
  vertical-align: middle;
  background-color: #999999;
  -webkit-border-radius: 9px;
  -moz-border-radius: 9px;
  border-radius: 1em;
  font-family: "Open Sans";
}

.badge-red {
  background-color: #b94a48;
  margin-right: 0.8em !important;
}

/* Media query rules for smaller viewport */
@media only screen /* Large screen with a small window */
and (max-width: 650px)
,
screen /* HiDPI device like Nexus 5 */
and (max-device-width: 360px)
and (max-device-height: 640px)
and (-webkit-device-pixel-ratio: 3)
,
screen /* Most mobile devices  */
and (max-device-width: 480px)
and (orientation: portrait)
,
only screen /* iPhone 6 */
and (max-device-width: 667px)
and (-webkit-device-pixel-ratio: 2)
{
  body,
  body > h4#signature {
    min-width: 300px;
  }

  #template .modifier_kind {
    width: 1px;
    padding-left: 2.5em;
  }

  span.modifier_kind > span.modifier {
    display: none;
  }

  #definition {
    height: 6em;
  }

  #definition > h1 {
    font-size: 1em;
    margin-right: 0.3em;
  }

  #definition > h3 {
    float: left;
    margin: 0.3em 0;
  }

  #definition > #owner {
    padding-top: 2.6em;
  }

  #definition .morelinks {
    text-align: left;
    font-size: 0.8em;
  }

  .big-circle {
    margin-top: 0.6em;
  }
}

/* Media query rules specifically for mobile devices */
@media
screen /* HiDPI device like Nexus 5 */
and (max-device-width: 360px)
and (max-device-height: 640px)
and (-webkit-device-pixel-ratio: 3)
,
screen /* Most mobile devices  */
and (max-device-width: 480px)
and (orientation: portrait)
,
only screen /* iPhone 6 */
and (max-device-width: 667px)
and (-webkit-device-pixel-ratio: 2)
{
  #signature {
    font-size: 0.7em;
  }

  #definition > h1 {
    font-size: 1.3em;
  }

  #definition .morelinks {
    display: none;
  }

  #definition #owner {
    padding-top: 0.7em;
  }

  #signature > span.modifier_kind {
    width: auto;
  }

  div.fullcomment dl.attributes > dt {
    margin: 0.5em 0;
    clear: both;
  }

  div.fullcomment dl.attributes > dd {
    padding-left: 0;
    clear: both;
  }

  .big-circle {
    width: 3em;
    height: 3em;
    background-size: 3em !important;
    margin: 0.5em;
  }

  div#template {
    margin-bottom: 0.5em;
  }

  div#footer {
    font-size: 0.5em;
  }

  .shortcomment > span.badge {
    display: none;
  }
}