<style>

    body {
        text-align: left;
        color: black;
    }

    .description {
        color: black;
        margin-bottom: 30px
    }

    .image {
        text-align: center
    }

    .tab {
        overflow: hidden;
        border: 1px solid #ccc;
        background-color: #f1f1f1;
    }

        /* Style the buttons that are used to open the tab content */
        .tab button {
            background-color: inherit;
            float: left;
            border: none;
            outline: none;
            cursor: pointer;
            padding: 14px 16px;
            transition: 0.3s;
        }

            /* Change background color of buttons on hover */
            .tab button:hover {
                background-color: #ddd;
            }

            /* Create an active/current tablink class */
            .tab button.active {
                background-color: #ccc;
            }

    /* Style the tab content */
    .tabcontent {
        display: none;
        padding: 6px 12px;
        border: 1px solid #ccc;
        border-top: none;
    }
    /* W3.CSS 4.12 November 2018 by Jan Egil and Borge Refsnes */
    html {
        box-sizing: border-box
    }

    *, *:before, *:after {
        box-sizing: inherit
    }
    /* Extract from normalize.css by Nicolas Gallagher and Jonathan Neal git.io/normalize */
    html {
        -ms-text-size-adjust: 100%;
        -webkit-text-size-adjust: 100%
    }

    body {
        margin: 0
    }

    summary {
        display: block
    }

    a {
        background-color: transparent;
        -webkit-text-decoration-skip: objects;
		color: #bf0026
    }

        a:active, a:hover {
            outline-width: 0
        }

    img {
        border-style: none
    }

    pre {
        font-family: monospace,monospace;
        font-size: 1em
    }

    button, input {
        font: inherit;
        margin: 0
    }

    button, input {
        overflow: visible
    }

    button {
        text-transform: none
    }

    button {
        -webkit-appearance: button
    }

        button::-moz-focus-inner {
            border-style: none;
            padding: 0
        }

        button:-moz-focusring {
            outline: 1px dotted ButtonText
        }

    ::-webkit-input-placeholder {
        color: inherit;
        opacity: 0.54
    }

    ::-webkit-file-upload-button {
        -webkit-appearance: button;
        font: inherit
    }
    /* End extract */
    html, body {
        font-family: Verdana,sans-serif;
        font-size: 15px;
        line-height: 1.5
    }

    html {
        overflow-x: hidden
    }

    h1 {
        font-size: 36px;
		font-weight: normal;
    }

    h2 {
        font-size: 30px;
		font-weight: normal;
    }
	
	h3 {
        font-size: 24px;
		font-weight: normal;
    }
	
	h4 {
        font-size: 20px;
		font-weight: normal;
    }
	
	h5 {
        font-weight: bold;
        font-size: 18px;
    }

    h6 {
        font-size: 16px;
    }


    h1, h2, h3, h4, h5, h6 {
        font-family: 'Lato',sans-serif;
        letter-spacing: 0.025em;
        margin: 10px 0;
		color: #506a85
    }

    img {
        vertical-align: middle
    }

    a {
        color: #bf0026
    }

    .w3-table-all {
        border-collapse: collapse;
        border-spacing: 0;
        width: 100%;
        display: table
    }

    .w3-table-all {
        border: 1px solid #ccc
    }

        .w3-table-all tr {
            border-bottom: 1px solid #ddd
        }

    .w3-table-all tr:nth-child(odd) {
        background-color: #fff
    }

    .w3-table-all tr:nth-child(even) {
        background-color: #f1f1f1
    }

    .w3-hoverable tbody tr:hover {
        background-color: #ccc
    }

    .w3-table-all td, .w3-table-all th {
        padding: 8px 8px;
        display: table-cell;
        text-align: left;
        vertical-align: top
    }

        .w3-table-all th:first-child, .w3-table-all td:first-child {
            padding-left: 16px
        }

            :disabled * {
                pointer-events: none
            }

    .w3-container:after, .w3-container:before {
        content: "";
        display: table;
        clear: both
    }

    .w3-container {
        padding: 0.01em 16px
    }

    .w3-transparent {
        background-color: transparent !important
    }
    /* Colors */

    .w3-light-grey {
        color: #000 !important;
        background-color: #f1f1f1 !important
    }

    ul.sidenav {
        list-style-type: none;
        margin: 0;
        padding: 0;
        margin-top: 50px;
        border: none;
        width: 25%;
		color: #000;
        background-color: #f0eee3;
        position: fixed;
        height: 90%;
        overflow: auto;
    }

	ul.sidenav li {
		list-style-type: none;
		margin: 0px;
		color: #000;
		font-size: 14px;
	}

	ul.sidenav li a {
		display: block;
		color: #000;
		padding: 10px 16px;
		text-decoration: none;
	}

	ul.sidenav li a.active {
		background-color: #960012;
		color: white;
	}

	ul.sidenav li a:hover:not(.active) {
		background-color: #777;
		color: white;
	}
	
	ul.sidenav li.category {
		font-family: 'Lato', sans-serif;
		text-decoration: none;
        font-size: 26px;
		font-weight: normal;
		padding: 15px px;
        margin-top: 10px;
		color: #000;
    }

    ul.subnav-content {
        display: none;
        background-color: #bab7a7;
        padding: 0px;
		color: white;
    }

        ul.subnav-content li a {
            padding: 8px 30px;
			color: black;
        }

    div.content {
        margin-left: 25%;
        margin-top: 50px;
        padding: 1px 16px;
        height: 1000px;
    }

    #search_area {
        margin: 0;
        padding-top: 0;
        padding-bottom: 0;
        border: none;
        overflow: hidden;
        background-color: #333;
        color: #FFFFFF;
        position: fixed;
        top: 0;
        width: 75%;
        height: 50px;
    }

    .dropbtn {
        background-color: #4CAF50;
        color: white;
        padding: 16px;
        font-size: 16px;
        border: none;
        cursor: pointer;
        border: none;
    }

        .dropbtn:hover, .dropbtn:focus {
            background-color: #3e8e41;
            border: none;
        }

    .dropdown {
        position: relative;
        display: inline-block;
        margin-left: 25%;
        border: none;
        padding: 0;
    }

    .dropdown-content {
        display: none;
        position: fixed;
        background-color: #f6f6f6;
        min-width: 700px;
        margin-top: 33px;
        ;
        padding: 0;
        overflow: auto;
        border: 0;
        z-index: 1;
        opacity: .98;
        border: none;
        width: 300px;
        max-height: 100%;
    }

        .dropdown-content a {
            color: black;
            padding: 12px 16px;
            text-decoration: none;
            display: block;
        }

    .dropdown a:hover {
        background-color: #ddd;
    }

    #search_area {
        padding: 12px 16px;
    }

    .show {
        display: block;
    }

    ul.algorithm_list {
        display: none;
        background-color: #333;
        color: white;
        list-style: none;
        margin: 0;
        padding: 0px;
    }

        ul.algorithm_list li a {
            color: white;
            padding: 5px 50px;
        }

    #brand {
        position: fixed;
		font-weight: bold;
        text-decoration: none;
        padding: 4px 15px;
        color: #bf0026;
        font-size: 28px;
        font-family: 'Lato', sans-serif;
    }
	button.toggle_button{
        border: none;
        display: inline-block;
        height: 55px;
        width: 55px;
        vertical-align: middle;
        overflow: hidden;
        text-decoration: none;
        color: inherit;
        background-color: #EEEEEE;
        text-align: center;
        cursor: pointer;
        white-space: nowrap
    }
    button.small_toggle_button{
        border: none;
        display: inline-block;
        height: 32px;
        width: 32px;
        vertical-align: middle;
        overflow: hidden;
        text-decoration: none;
        color: inherit;
        background-color: #EEEEEE;
        text-align: center;
        cursor: pointer;
        white-space: nowrap
    }
</style>