body {
    font-family: 'Droid Serif', serif;
    width: 70em;
    margin-right: auto;
    margin-left: auto;
}

.table
{
    display: table;
    padding-bottom: 1em;
}
.row {
    display: table-row;
}
.cell {
    display: table-cell;
    padding-right: 2px;
    padding-left: 2px;
}

.center {
    margin-left: auto;
    margin-right: auto;
    width: 100%;
    text-align:center;
    padding: 0px;
}

.title {
    width: 100%;
    margin-left: auto;
    margin-right: auto;
    margin-top: 0px;
    text-align: center;
    font-size: 24px;
    font-family: 'Alegreya Sans';
}

.header {
    margin-top: 1em;
    font-weight: bold;
    font-family: 'Alegreya Sans';
    font-size: 18px;
}

.tab {
    margin-left: 2em;
}

.javaclass {
    font-family: 'Inconsolata', mono;
    font-weight: bold;
    font-size: 16px;
}
.javamethod {
    font-family: 'Inconsolata', mono;
    font-size: 16px;
}

.nobullets {
    list-style-type: none;
}

.nobullets li {
    margin-bottom: 5px;
}

.pseudocode {
    font-family: 'Inconsolata', mono;
    font-size: 17px;
}
.indented {
    padding-left: 2em;
    margin-left: 5px;
}

.pseudo-block {
    border-left: thin dashed;
}

pre {
    font-family: 'Inconsolata', ;
    margin-top: 0px;
    margin-bottom: 0px;
    margin-left: -2em;
}
pre.example {
    color: darkred;
    font-size: 18px;
}
.userinput {
    color: darkcyan;
}
img {
    display: block;
    margin-left: auto;
    margin-right: auto;
}

/* parameter list and javadoc styling */
.fauxjavadoc {
    list-style-type: none;
}

ul.paramlist li:before {
    content: "-";
    position: relative;
    left: -5px;
}
.paramlist {
    list-style-type: none;
    text-indent: -5px;
}