.JSShell { 
border: black 1px dotted; 
overflow:auto ;
    padding: 14px;
    margin: 14px;
 }
.JSShell .input { color: blue; background: white; font: inherit; font-weight: bold; margin-top: .5em; }
.JSShell .normalOutput { color: black; background: white; }
.JSShell .print { color: brown; background: white; }
.JSShell .error { color: red; background: white; }

.Code {
    border: 1pt dashed  rgb(32, 55, 95);
    white-space: pre;
    font-size: 10pt;
    overflow: auto;
    padding: 8px;
    padding-left: 14px;
    margin: 15px;
    background-color: rgb(248, 248, 248)
}

.FormattedCode {
    white-space: pre;

    border: 1pt dashed  rgb(32, 55, 95);
    font-size: 10pt;
    overflow: auto;
    padding: 8px;
    padding-left: 14px;
    margin: 15px;
    background-color: rgb(248, 248, 248)
}


a {
color : #126;
text-decoration: underline;
}