@font-face {
    font-family: 'charter-webfont';
    src: url('../fonts/charter_regular.woff') format('woff');
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: 'charter-webfont';
    src: url('../fonts/charter_italic.woff') format('woff');
    font-weight: normal;
    font-style: italic;
}

@font-face {
    font-family: 'charter-webfont';
    src: url('../fonts/charter_bold.woff') format('woff');
    font-weight: bold;
    font-style: normal;
}

@font-face {
    font-family: 'charter-webfont';
    src: url('../fonts/charter_bold_italic.woff') format('woff');
    font-weight: bold;
    font-style: italic;
}

html{
    border-top: 5px solid #785b9c;
    border-bottom: 5px solid #785b9c;
    min-height: 100vh;
    box-sizing: border-box;
}

body {
    font-family: 'Charter', 'charter-webfont', 'Georgia', sans-serif;
}

h1, h2, h3 {
    font-family: 'Charter', 'charter-webfont', 'Georgia', sans-serif;
}

div.body pre {
    font-size: 80%;
}

div.sphinxsidebarwrapper p.logo{
    margin-bottom: 20px;
    text-align: left;
}

div.sphinxsidebarwrapper h1.logo{
    display: none;
}

div.body a{
    color: #785b9c;
    text-decoration: none;
    border-bottom: none;
}

div.body a:hover{
    color: white;
    background-color: #785b9c;
    padding: 0px 2px;
    margin: 0px -2px;
    border-radius: 3px;
}