/* Stylesheet for "Darts, Dice, and Coins" */
body {
   font-family: sans-serif;
   font-size: 13pt;
}

div.image {
    text-align: center;
}

div.headerBox {
    border: 1px dotted black;
    background-color: #f0ffff;
    margin: 10px;
    padding: 10px;
}

div.algorithm {
    border: 1px dotted black;
    background-color: #fffff0;
    margin: 10px;
    padding: 10px;
}

div.theorem {
    border: 1px dotted black;
    background-color: #f0ffff;
    margin: 10px;
    padding: 10px;
}

table {
    text-align: center;
    border-collapse: collapse;
    border: 1px dotted black;
    margin-left: auto;
    margin-right: auto;
}

td {
    border-top: 1px solid black;
}

td.good {
    background-color: #c0ffc0;
}

td.okay {
    background-color: #ffffc0;
}

td.bad {
    background-color: #ffc0c0;
}