@import url("//fonts.googleapis.com/css?family=Archivo+Narrow");
@import url("//fonts.googleapis.com/css?family=Open+Sans:300,400,700");
@import url("//fonts.googleapis.com/css?family=Roboto");
@import url("//fonts.googleapis.com/css?family=Roboto+Mono");
@import url("//fonts.googleapis.com/css?family=Source+Sans+Pro:300");

/* @import url("//db.onlinewebfonts.com/c/9f94dc20bb2a09c15241d3a880b7ad01?family=Menlo"); */
@font-face {
    font-family: "Menlo";
    src: local('Menlo-Regular'), local('Menlo'),
    /* IE9*/
    url("//db.onlinewebfonts.com/t/9f94dc20bb2a09c15241d3a880b7ad01.eot");
    src: local('Menlo-regular'), local('Menlo'),
    /* IE6-IE8 */
    url("//db.onlinewebfonts.com/t/9f94dc20bb2a09c15241d3a880b7ad01.eot?#iefix") format("embedded-opentype"),
    /* chrome firefox */
    url("//db.onlinewebfonts.com/t/9f94dc20bb2a09c15241d3a880b7ad01.woff") format("woff"),
    /* chrome firefox opera Safari, Android, iOS 4.2+*/
    url("//db.onlinewebfonts.com/t/9f94dc20bb2a09c15241d3a880b7ad01.ttf") format("truetype"),
    /* iOS 4.1- */
    url("//db.onlinewebfonts.com/t/9f94dc20bb2a09c15241d3a880b7ad01.svg#Menlo") format("svg");
}

:root {
    /* --docbox-width: 391px; */
    --docbox-height: 115px;
    --docbox-width: 250px;
}

body, textarea {
    font-family: sans-serif, "Roboto", "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
    font-size: 14px;
}

.navbar {
    font-family: sans-serif, "Archivo Narrow", "Source Sans Pro", "Open Sans Narrow", sans-serif;
    font-size: 12px;
}

.redlog-logo {
    font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
    font-size: 20px;
}

/* This would make the navbar collapse earlier as an alternative to the condensed font: */

@media (min-width: 768px) and (max-width: 915px) {
    .navbar-header {
      float: none;
    }
    .navbar-left,
    .navbar-right {
      float: none !important;
    }
    .navbar-toggle {
      display: block;
    }
    .navbar-collapse {
      border-top: 1px solid transparent;
      box-shadow: inset 0 1px 0 rgba(255,255,255,0.1);
    }
    .navbar-fixed-top {
      top: 0;
      border-width: 0 0 1px;
    }
    .navbar-collapse.collapse {
      display: none!important;
    }
    .navbar-nav {
      float: none!important;
      margin-top: 7.5px;
    }
    .navbar-nav>li {
      float: none;
    }
    .navbar-nav>li>a {
      padding-top: 10px;
      padding-bottom: 10px;
    }
    .collapse.in {
      display: block !important;
    }
}

synopsis table {
    font-size: 15px;
}

type {
    color: darkred;
}

service {
    font-family: "Menlo", monospace;
    color: #0066aa;
}

switch {
    font-family: "Menlo", monospace;
    color: darkgreen;
}

arg {
    font-family: "Menlo", monospace;
    color: #555555;
}

.doc-monospace {
    font-family: "Menlo", monospace;
}

pre {
    font-family: "Menlo", "Roboto Mono", monospace;
    white-space: pre-wrap;
    font-size: 90%;
    width: 100%;
}

code {
    font-family: "Menlo", "Roboto Mono", monospace;
    color: black;
    background: white;
    padding: 0;
    font-size: 90%;
}

examples pre {
    white-space: normal;
}

/* docbox */

docbox a, docbox .alike {
    /* -webkit-border-radius: 5px; */
    /* -moz-border-radius: 5px; */
    /* -ms-border-radius: 5px; */
    /* -o-border-radius: 5px; */
    /* width: 235px; */
    /* height: 105px; */
    /* width: 391px; */
    width: var(--docbox-width);
    height: var(--docbox-height);
    /* border-radius: 5px; */
    display: block;
    margin: 0;
    padding: 1em;
    /* color: #333333; */
    /* background-color: #fafafa; */
}

docbox a:hover, docbox a:focus {
		    /* color: #333333; */
		    /* background: #ecf7fa; */
		    /* text-decoration: none; */
		}

docbox .type {
    font-size: 13px;
    white-space: nowrap;
    overflow: hidden;
    -ms-text-overflow: ellipsis;
    -o-text-overflow: ellipsis;
    text-overflow: ellipsis;
    line-height: 1.5em;
    display: block;
}

docbox .service {
    font-size: 14px;
    white-space: nowrap;
    overflow: hidden;
    -ms-text-overflow: ellipsis;
    -o-text-overflow: ellipsis;
    text-overflow: ellipsis;
    display: block;
    margin: 2px 0 2px 0;
}

docbox .description {
    font-size: 13px;
    display: block;
    line-height: 1.5em;
    white-space: normal;  /* for word wrap in Bootstrap button */
}

/* #commands for the main documentation page */

#commands nav {
    text-align: center;
    margin: 0 auto;
    background-color: #eeeeee;
    width: 100%;
    font-size: 0.85em;
    display: block;
    padding: 10px 0;
}

#commands nav label {
    font-weight: 100;
    margin: 0 10px 0 0;
}

#commands nav label span {
    margin: 0 10px;
}

#commands nav select, #commands nav input {
    border: 1px solid #bbbbbb;
    font-size: 14px;
    margin-bottom: 5px;
    width: var(--docbox-width);
    /* width: 235px; */
    height: 32px;
}

#commands nav input {
    border-radius: 5px;
    padding: 5px 5px 6px 5px;
    margin-top: 5px;
    width: 320px;
}

#commands nav input:focus,  #commands nav select:focus{
    outline: none;
}

@media only screen and (max-width: 768px) {
    #commands nav label span {
	display: none;
    }
}

#commands ul {
    overflow: hidden;
    margin: 0.69em;
    text-align: left;
    padding: 0;
}

#commands ul li {
    -webkit-box-sizing: border-box;
    -moz-box-sizing: border-box;
    box-sizing: border-box;
    /* width: 235px; */
    width: var(--docbox-width);
    margin: 0.69em;
    float: left;
    overflow: hidden;
}

#remis nav {
    text-align: center;
    margin: 0 auto;
    background-color: #eeeeee;
    width: 100%;
    font-size: 0.85em;
    display: block;
    padding: 10px 0;
}

#remis nav label {
    font-weight: 100;
    margin: 0 10px 0 0;
}

#remis nav label span {
    margin: 0 10px;
}

#remis nav input {
    border: 1px solid #bbbbbb;
    font-size: 14px;
    margin-bottom: 5px;
    border-radius: 5px;
    padding: 5px 5px 6px 5px;
    margin-top: 5px;
    width: 500px;
    font-family: "Menlo", monospace;
}

#remis nav input:focus {
    outline: none;
}

@media only screen and (max-width: 768px) {
    #remis nav label span {
	display: none;
    }
}

.jumbotron {
    /* background: #fbfbfb; */
    /* text-shadow: 0 1px 0 #fff; */
    /* background-image: -webkit-linear-gradient(top, #fff 0%, #e0e0e0 100%); */
    /* background-image:      -o-linear-gradient(top, #fff 0%, #e0e0e0 100%); */
    /* background-image: -webkit-gradient(linear, left top, left bottom, from(#fff), to(#e0e0e0)); */
    /* background-image:         linear-gradient(to bottom, #fff 0%, #e0e0e0 100%); */
    /* filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ffffffff', endColorstr='#ffe0e0e0', GradientType=0); */
    /* filter: progid:DXImageTransform.Microsoft.gradient(enabled = false); */
    /* background-repeat: repeat-x; */
}