body {
    background-color: rgb(255, 255, 255);
}

h1, h2, h3, h4, h5, h6 { font-weight: bold;
    color: rgb(64, 64, 64);
    font-family: Arial,Helvetica,sans-serif;
}

h1 {
    font-size: x-large;
}

h2 {
    font-size: large;
}

h3 {
    font-size: medium;
}

h4, h5 {
    font-size: small;
}

h6 {
    font-family: Arial,sans-serif;
    font-size: small;
    font-weight: bold;
    text-align: center;
}

table {
    border-collapse: collapse;
}

td {
    text-align: left;
    vertical-align: top;
    padding: 3px;
}

th {
    vertical-align: top;
    padding: 3px;
}

p, body {
    font-family: Arial,Helvetica,sans-serif;
}

.mono {
    font-family:"Courier New", Courier, mono;
}

.actor {
    font-weight: bold;
}

.class {
    font-style: italic;
}

.instance {
    font-style: italic;
    text-decoration: underline;
}

.member {
    font-style: italic;
}

.author {
    font-weight: bold;
    color: rgb(51, 51, 51);
}

.ridgeTop {
    border-top-style: ridge;
    border-width: thin;
}

.grooveCell {
    border-style: groove;
    border-width: thin;
}

.modernTable {
    margin: 0px;
    padding: 0px;
    background-color: rgb(230, 230, 230);
    border: 2px ridge;
}

.modernHeader {
    padding: 2px;
    border-top-width: 2px;
    border-top-style: ridge;
    background-color: rgb(96, 96, 96);
    color: #FFFFFF;
    border-top-style: none;
    text-align: left;
}

.tocTable {
    margin: 0px;
    margin-top: 5mm;
    padding: 0px;
    background-color: rgb(230, 230, 230);
    border: 2px ridge;
    width: 100%;
}

.usecase {
    font-style: italic;
    font-weight: normal;
}

.abstractBase {
    font-style: italic;
    text-decoration: underline;
}

.headTable {
    background-color: #E6E6E6;
    padding: 0px;
    margin: 0px;
    width: 100%;
    margin-bottom: .75cm;
}

.headCell {
    border-width: thin;
    border-style: ridge;
    padding: 3px;
}

.unixCmd {
    font-family: "Courier New", Courier, mono;
    margin-left: 1cm;
    margin-bottom: 0px;
    color: rgb(64, 128, 128);
    margin-top: 0px;
}

.unixOutput {
    font-family: "Courier New", Courier, mono;
    margin-left: 1cm;
    margin-bottom: 0px;
    margin-top: 0px;
    color: rgb(128, 64, 128);
}