.nav-list
{
    padding-right: 15px;
    padding-left: 15px;
    margin-bottom: 0;
}

.nav
{
    margin-left: 0;
    list-style: none;
}


li
{
    line-height: 20px;
}

.nav-list > li > a, .nav-list .nav-header
{
    margin-right: -15px;
    margin-left: -15px;
    text-shadow: 0 1px 0 rgba(255,255,255,0.5);
}

.nav-header
{
    display: block;
    padding: 3px 15px;
    font-size: 14px;
    font-weight: bold;
    line-height: 20px;
    color: #999;
    text-shadow: 0 1px 0 rgba(255,255,255,0.5);
    /*text-transform: uppercase;*/
}

.nav-list > li > a
{
    padding: 3px 15px;
    color: #08c;
    text-decoration: none;
}

    .nav-list > li > a.active
    {
        background: #e4e4e4;
    }

    .nav-list > li > a:visited
    {
        color: #76BADB;
    }




.highlight.highlight-C\# span.pl-s,
.highlight.highlight-C\# span.pl-st,
.highlight.highlight-C\# span.pl-c1,
.highlight.highlight-C\# span.pl-k
{
    color: blue;
}


.highlight.highlight-C\# span.n.type, /*class recognized by my euristics*/
.highlight.highlight-C\# span.nc /*class declaration*/
{
    color: #2b91af;
}

.highlight.highlight-C\# span.pl-en /*class attribute*/
{
    color: #009dcb;
}

.highlight.highlight-C\# span.pl-c
{
    color: green;
}

.highlight.highlight-C\# span.pl-pds,
.highlight.highlight-C\# span.pl-s1
{
    color: #a31515;
}

.highlight.highlight-C\# span.s
{
    color: #a31515;
}


.highlight.highlight-XML pre,
.highlight.highlight-XML span.pl-ent
{
    color: #a31515;
}

.highlight.highlight-XML span.pl-e
{
    color: red;
}

.highlight.highlight-XML span.pl-s1
{
    color: blue;
}

.highlight.highlight-XML span.pl-c
{
    color: green;
}


.highlight.highlight-SQL span.pl-k,
.highlight.highlight-SQL span.pl-st,
.highlight.highlight-SQL span.pl-s
{
    color: blue;
}

.highlight.highlight-SQL span.pl-en,
.highlight.highlight-SQL span.pl-c1
{
    color: #2b91af;
}

.highlight.highlight-SQL span.pl-s1
{
    color: #a31515;
}

.highlight.highlight-SQL span.pl-c
{
    color: green;
}


#documentContainer h1
{
    margin-top: 40px;
}

    #documentContainer h1:first-child
    {
        margin-top: 0px;
    }

#documentContainer h2
{
    margin-top: 30px;
}

#documentContainer h3
{
    margin-top: 20px;
}

#documentContainer
{
    padding: 20px;
    padding-bottom: 100px;
}

    #documentContainer blockquote
    {
        background: #fafafa;
    }

    #documentContainer li a
    {
        color: #3498db;
    }

    #documentContainer table.table
    {
        width: initial;
    }

    #documentContainer div.highlight pre
    {
        overflow: auto;
        word-wrap: normal;
        white-space: pre;
    }

div#___gcse_0 *
{
    box-sizing: content-box;
}

.gsc-input
{
    line-height:normal;
}

#___gcse_0 > div.gsc-control-cse
{
    padding:0px;
}