body {
    background: #dddddd;
}

.title {
    font-size: 1.2em;
    text-align: left;
}

#org-div-home-and-up {
    text-align: left;
    font-size: 0.9em;
    white-space: nowrap;
    margin-bottom: 0px;
    padding-bottom: 0px;
}

h2 { /* Day Heading */
    font-size: 1em;
    padding: 3px;
    border-bottom: dotted black 2px;    
}

.outline-text-2 {
    margin-left: 1%;
}

h3 { /* Slide Heading */
    font-style: italic;
    border-bottom: dotted black 2px;
    font-size: 1em;
}

.outline-text-3 {
    margin-left: 1%;
}

.outline-4 {
    margin-left: 1%;
}

h4 { /* Topic Heading 1 */
    font-size: 1em;
}

.outline-text-4 {
    margin-left: 1%;
}

.outline-5 {
    margin-left: 1%;
}

h5 { /* Topic Heading 2 */
    font-size: 1em;
}

.outline-text-5 {
    margin-left: 1%;
}

.outline-6 {
    margin-left: 1%;
}

h6 { /* Topic Heading 3 */
    font-size: 1em;
}

.outline-text-6 {
    margin-left: 1%;
}

.example {
    border-radius: 5px;
    box-shadow: 5px 5px 5px #888888;
    background: #ffffff;
}

.src {
    border: solid black 0px;
    border-radius: 5px;
    box-shadow: 5px 5px 5px #888888;
    background: #000000;
    color: #ffffff;
}

.term {
    background: #ffffaa;
    border: solid black 1px;
    padding: 1px;
    border-radius: 3px;
}

.termdef {
    background: #ffffdd;
    padding: 1px;
    border-radius: 3px;
}

li {
    margin-top: 5px;
}

.cmd { /* Need to define these! */
    border: solid 1px black;
    background: #ffffff;
    border-radius: 3px;
    padding: 2px 5px 2px 5px;
    font-weight: bold;
    font-family: courier;
}

.fname { /* Need to define these! */
    border: solid 1px black;
    background: #ffffcc;
    border-radius: 3px 3px 3px 3px;
    font-style: italic;
    font-size: 0.9em;
    padding: 2px 5px 2px 5px;
}

.code-highlighted {
    background-color: #444444;
    border: solid red 2px;
}

td p {
    display: inline;
}

.protected {
    padding-left: 10px;
    padding-right: 10px;
    background: #000000;
    color: #FFFF00;
}

.protected a {
    color: #FFFF00;
    background-color: #0000ff;
}

.protected:hover {
    cursor: pointer;
}

.hide_protected {
    display: none;
}