/*
div.sphinxsidebar a {
    color: #444;
    font-size: 140%; 
}
div.sphinxsidebar {
    font-size: 0.75em;
    line-height: 2.0em;
}
div.body li {
    line-height: 1.4em;
}
*/


/**
    Several modifications to theme.css for more readability
**/

/*
div.document {
    max-width: 75%;
    min-width: 720px;
}
div.related {
    max-width: 75%;
    min-width: 720px;
}
*/

div.sphinxsidebar {
    font-size: 100%;
    line-height: 1.7em;
}
body {
    font-size: 105%;
}
div.body p {
    margin: 1.0em 0 0.5em 0;
}
