@import url(https://fonts.googleapis.com/css?family=Droid+Sans|Droid+Sans+Mono|Open+Sans:400,600,700);

/*--------------------------------------------------------------------------
  Formatting for F# code snippets
/*--------------------------------------------------------------------------*/

/* strings --- and stlyes for other string related formats */
span.s {
    color: #E0E268;
}
/* printf formatters */
span.pf {
    color: #E0C57F;
}
/* escaped chars */
span.e {
    color: #EA8675;
}

/* identifiers --- and styles for more specific identifier types */
span.id {
    color: #d1d1d1;
}
/* module */
span.m {
    color: #43AEC6;
}
/* reference type */
span.rt {
    color: #43AEC6;
}
/* value type */
span.vt {
    color: #43AEC6;
}
/* interface */
span.if {
    color: #43AEC6;
}
/* type argument */
span.ta {
    color: #43AEC6;
}
/* disposable */
span.d {
    color: #43AEC6;
}
/* property */
span.prop {
    color: #43AEC6;
}
/* punctuation */
span.p {
    color: #43AEC6;
}
/* function */
span.f {
    color: #e1e1e1;
}
/* active pattern */
span.pat {
    color: #4ec9b0;
}
/* union case */
span.u {
    color: #4ec9b0;
}
/* enumeration */
span.e {
    color: #4ec9b0;
}
/* keywords */
span.k {
    color: #FAB11D;
}
/* comment */
span.c {
    color: #808080;
}
/* operators */
span.o {
    color: #af75c1;
}
/* numbers */
span.n {
    color: #96C71D;
}
/* line number */
span.l {
    color: #80b0b0;
}
/* mutable var or ref cell */
span.v {
    color: #d1d1d1;
    font-weight: bold;
}
/* inactive code */
span.inactive {
    color: #808080;
}
/* preprocessor */
span.prep {
    color: #af75c1;
}
/* fsi output */
span.fsi {
    color: #808080;
}

code {
    background-color: #f7f7f900;
    border: 0px;
    padding: 0px;
}
/* omitted */
span.omitted {
    background: #3c4e52;
    border-radius: 5px;
    color: #808080;
    padding: 0px 0px 1px 0px;
}
/* tool tip */
div.tip {
    background: #475b5f;
    border-radius: 4px;
    font: 11pt 'Droid Sans', arial, sans-serif;
    padding: 6px 8px 6px 8px;
    display: none;
    color: #d1d1d1;
    pointer-events: none;
}

pre.fssnip code {
    font: 9pt 'Droid Sans Mono',consolas,monospace;
}

.table {
    table-layout: auto;
    width: 100%;
    font-size: 0.875rem;
}

    .table caption {
        font-size: 0.8rem;
        font-weight: 600;
        letter-spacing: 2px;
        text-transform: uppercase;
        padding: 1.125rem;
        border-width: 0 0 1px;
        border-style: solid;
        border-color: #e3e3e3;
        text-align: right;
    }

    .table td,
    .table th {
        display: table-cell;
        word-wrap: break-word;
        padding: 0.75rem 1rem 0.75rem 0rem;
        line-height: 1.5;
        vertical-align: top;
        border-top: 1px solid #e3e3e3;
        border-right: 0;
        border-left: 0;
        border-bottom: 0;
        border-style: solid;
    }

        .table td p:first-child,
        .table th p:first-child {
            margin-top: 0;
        }

        .table td.nowrap,
        .table th.nowrap {
            white-space: nowrap;
        }

        .table td.is-narrow,
        .table th.is-narrow {
            width: 15%;
        }

        .table th:not([scope='row']) {
            border-top: 0;
            border-bottom: 1px;
        }

    .table > caption + thead > tr:first-child > td,
    .table > colgroup + thead > tr:first-child > td,
    .table > thead:first-child > tr:first-child > td {
        border-top: 0;
    }

    .table .table-striped > tbody > tr:nth-of-type(odd) {
        background-color: var(--box-shadow-light);
    }

    .table.min {
        width: unset;
    }

    .table.is-left-aligned td:first-child,
    .table.is-left-aligned th:first-child {
        padding-left: 0;
    }

        .table.is-left-aligned td:first-child a,
        .table.is-left-aligned th:first-child a {
            outline-offset: -0.125rem;
        }

@media screen and (max-width: 767px), screen and (min-resolution: 120dpi) and (max-width: 767.9px) {
    .table.is-stacked-mobile td:nth-child(1) {
        display: block;
        width: 100%;
        padding: 1rem 0;
    }

    .table.is-stacked-mobile td:not(:nth-child(1)) {
        display: block;
        border-width: 0;
        padding: 0 0 1rem;
    }
}

.table.has-inner-borders th,
.table.has-inner-borders td {
    border-right: 1px solid #e3e3e3;
}

    .table.has-inner-borders th:last-child,
    .table.has-inner-borders td:last-child {
        border-right: none;
    }
/*--------------------------------------------------------------------------
  Formatting for page & standard document content
/*--------------------------------------------------------------------------*/

body {
    font-family: 'Open Sans', serif;
    padding-top: 0px;
    padding-bottom: 40px;
}

pre {
    word-wrap: inherit;
}

/* Format the heading - nicer spacing etc. */
.masthead {
    overflow: hidden;
}

    .masthead .muted a {
        text-decoration: none;
        color: #999999;
    }

    .masthead ul, .masthead li {
        margin-bottom: 0px;
    }

    .masthead .nav li {
        margin-top: 15px;
        font-size: 110%;
    }

    .masthead h3 {
        margin-bottom: 5px;
        font-size: 170%;
    }

hr {
    margin: 0px 0px 20px 0px;
}


/* Format the right-side menu */
#menu {
    margin-top: 50px;
    font-size: 11pt;
    padding-left: 20px;
}

    #menu .nav-header {
        font-size: 12pt;
        color: #606060;
        margin-top: 20px;
    }

    #menu li {
        line-height: 25px;
    }

/* Change font sizes for headings etc. */
#main h1 {
    font-size: 26pt;
    margin: 10px 0px 15px 0px;
    font-weight: 400;
}

#main h2 {
    font-size: 20pt;
    margin: 20px 0px 0px 0px;
    font-weight: 400;
}

#main h3 {
    font-size: 14pt;
    margin: 15px 0px 0px 0px;
    font-weight: 600;
}
/* #main p  { font-size: 11pt; margin:5px 0px 15px 0px; } */
#main ul {
    font-size: 11pt;
    margin-top: 10px;
}

#main li {
    font-size: 11pt;
    margin: 5px 0px 5px 0px;
}

#main strong {
    font-weight: 700;
}

/*--------------------------------------------------------------------------
  Formatting for API reference
/*--------------------------------------------------------------------------*/

.type-list .type-name, .module-list .module-name {
    width: 25%;
    font-weight: bold;
}

.member-list .member-name {
    width: 35%;
}

#main .xmldoc h2 {
    font-size: 14pt;
    margin: 10px 0px 0px 0px;
}

#main .xmldoc h3 {
    font-size: 12pt;
    margin: 10px 0px 0px 0px;
}

.github-link {
    float: right;
    text-decoration: none;
}

    .github-link img {
        border-style: none;
        margin-left: 10px;
    }

    .github-link .hover {
        display: none;
    }

    .github-link:hover .hover {
        display: block;
    }

    .github-link .normal {
        display: block;
    }

    .github-link:hover .normal {
        display: none;
    }

/*--------------------------------------------------------------------------
  Links
/*--------------------------------------------------------------------------*/
table.pre pre {
    padding: 0px;
    margin: 0px;
    border: none;
}

table.pre, pre.fssnip, pre {
    line-height: 13pt;
    border: 1px solid #d8d8d8;
    border-collapse: separate;
    white-space: pre;
    font: 9pt 'Droid Sans Mono',consolas,monospace;
    width: 90%;
    margin: 10px 20px 20px 20px;
    background-color: #212d30;
    padding: 10px;
    border-radius: 5px;
    color: #d1d1d1;
    max-width: none;
}

    pre.fssnip code {
        font: 9pt 'Droid Sans Mono',consolas,monospace;
    }

    table.pre pre {
        padding: 0px;
        margin: 0px;
        border-radius: 0px;
        width: 100%;
    }

    table.pre td {
        padding: 0px;
        white-space: normal;
        margin: 0px;
    }

        table.pre td.lines {
            width: 30px;
        }


pre {
    word-wrap: inherit;
}

/*--------------------------------------------------------------------------
  Links
/*--------------------------------------------------------------------------*/

h1 a, h1 a:hover, h1 a:focus,
h2 a, h2 a:hover, h2 a:focus,
h3 a, h3 a:hover, h3 a:focus,
h4 a, h4 a:hover, h4 a:focus,
h5 a, h5 a:hover, h5 a:focus,
h6 a, h6 a:hover, h6 a:focus {
    color: inherit;
    text-decoration: inherit;
    outline: none
}

/*--------------------------------------------------------------------------
  Additional formatting for the homepage
/*--------------------------------------------------------------------------*/

#nuget {
    margin-top: 20px;
    font-size: 11pt;
    padding: 20px;
}

    #nuget pre {
        font-size: 11pt;
        -moz-border-radius: 0px;
        -webkit-border-radius: 0px;
        border-radius: 0px;
        background: #404040;
        border-style: none;
        color: #e0e0e0;
        margin-top: 15px;
    }