h1 {
    border-bottom: 4px solid #EB812F;
    border-left: 2px solid #EB812F;
    padding-left: 3pt;
}

h2 {
    border-bottom: 3px solid #F3A35E;
    border-left: 1px solid #F3A35E;
    padding-left: 2pt;
}

h3 {
  border-bottom: 2px solid #F8C792;
}

h4 {
    border-bottom: 1px solid #FBE3C1;
    /* border-bottom: 1px solid #FBE3C1; */
}

.comment{
    font-size: smaller;
    color: gray;
    margin-left: 1em;
}

pre.screen{
        margin-top:     5pt;
        margin-bottom:  5pt;
        margin-right:   7em;
        margin-left:    1em;
        font-family: 'Courier', monospace, sans-serif;
        border-style:   solid;
        border-width:   1pt;
        font-size:      smaller;
        font-weight:    lighter;
        white-space:    pre;
        padding:        0.6em;
        border-color: #404040;
        background-color: #fdfdfd;
}