body {
    font-family: Verdana, serif;
    font-size: 80%;
}


h1,h2,h3 {
    font-family: Times New Roman CE, sans-serif;
    font-weight:bold;    
    color: darkslateblue;
}

p {
    margin-left: 1.5em;
}

img {
    margin: 10px;    
}

li {
    padding-bottom: 5px;
}

ol {
    padding-top: 10px;
    padding-bottom: 10px;
}

code {
    font-size:120%;    
}

.todo {
    color: red;
    font-weight: bold;
    text-decoration: none;
}


.eclipseView {    
    font-style: italic;    
    font-weight:bold;
    color: darkred;
}

.menuNavigation {
    color: firebrick;
    font-weight:bold;
}

.buttonPointer {
    font-weight:bold;
}

.userEnter:before {
    content: open-quote;
}
.userEnter {
    font-family: Courier New CE, monospace;
    color: darkred;    
}
.userEnter:after {
    content: close-quote;
}


.tableOfContent {
    background-color: cornsilk;
}

.footNotes {
    border: 1px solid brown;    
    background-color: cornsilk;
    padding: 10px;
}

.scream {
    font-weight:bold;
    text-transform: uppercase;
}