#wtable {
    table-layout: auto;
    width: 100%;
}


/* font used for calc input */
.input_class {
 font-family: monospace;
 font-size: 13pt;
}

#calc_input {
 width:500px;
 background-color: rgb(230, 230, 255);
 border-width: 1px;
 border-style: solid;
 border-color: black;
}
/* used to get the size of the font */
.calc_output_class {
 font-family: monospace;
 font-size: 10pt;
}
#calc_output {
 height:300px;
 background-color: rgb(230, 230, 255);
 overflow: auto;
}
.log_user {
 color: black;
}
.log_result {
 color: blue;
}

#error_msg {
 font-family: sans-serif;
 font-size: 12pt;
 background-color: rgb(255, 0, 0);
 color: white;
 padding-left: 10px;
 padding-right: 10px;
}

/* var window */
#var_list {
 height:300px;
 font-family: monospace;
 font-size: 10pt;
 background-color: rgb(230, 230, 255);
 border-width: 0px;
 border-style: none;
 border-color: black;
 overflow: auto;
}

/* help window */

#help_output {
 width:100%;
 height:36em; /* same as terminal */
 font-size: 15px;
 font-weight: bold;
 background-color: rgb(230, 230, 255);
 border-width: 0px;
 border-style: none;
 border-color: black;
 overflow: auto;
}

#help_output_inner {
    font-size: 10pt;
    font-weight: normal;
}

.help_cmd {
 font-family:mono;
 font-size:10pt;
 vertical-align:top;
 white-space:nowrap;
}
.help_line {
 font-size:10pt;
 vertical-align:top;
}

/* help: user typed input */
.h_in {
 font-family:mono;
 color:black;
 padding-left:4ex;
 margin-top: 3px;
 white-space: pre;
}

/* help: calculator result */
.h_res {
 font-family:mono;
 color:blue;
 padding-left:6ex;
 margin-top: 3px;
 white-space: pre;
}

.faq_q {
 font-size:12pt;
 font-style: italic;
}

.faq_a {
 font-size:10pt;
 padding-bottom: 10px;
}

/* plot window */

#plot_tab {
 height:300px;
 background-color: rgb(230, 230, 255);
}

.plot_caption {
 font-family: monospace;
 font-size:8pt;
}
#plot_caption_y {
 text-align: right;
}

#logo {
 font-family: sans;
 font-size:17pt;
 font-weight: bold;
 color: #ffb10b;
}
#logo2 {
 font-size:9pt;
}
.wtitle {
 font-size:10pt;
 font-weight: bold;
 background-color: rgb(180, 180, 255);
}
.button {
 font-size:10pt;
 font-weight: bold;
 background-color: rgb(210, 210, 255);
 text-decoration: none;
 padding-left: 5px;
 padding-right: 5px;
}

#footer {
 font-size: 8pt;
 font-family: Verdana;
 text-align: center;
 margin-top: 30px;
 color: #808080;
}

/* terminal */

.term {
    font-family: courier,fixed,swiss,monospace,sans-serif;
    font-size: 15px;
    font-weight: bold;
    font-variant-ligatures: none;
    color: #000000;
    background: rgb(230, 230, 255);
}

.term_content a {
    color: #ffff00;
}

.term_cursor {
    color: #000000;
    background: #000000;
}

.term_scrollbar { background: transparent url(images/bg-scrollbar-track-y.png) no-repeat 0 0; position: relative; background-position: 0 0; float: right; width: 15px; height: 100%; }
.term_track { background: transparent url(images/bg-scrollbar-trackend-y.png) no-repeat 0 100%; height: 100%; width:13px; position: relative; padding: 0 1px; }
.term_thumb { background: transparent url(images/bg-scrollbar-thumb-y.png) no-repeat 50% 100%; height: 20px; width: 25px; cursor: pointer; overflow: hidden; position: absolute; top: 0; left: -5px; }
.term_thumb .term_end { background: transparent url(images/bg-scrollbar-thumb-y.png) no-repeat 50% 0; overflow: hidden; height: 5px; width: 25px; }
.noSelect { user-select: none; -o-user-select: none; -moz-user-select: none; -khtml-user-select: none; -webkit-user-select: none; }
#term_paste {
    border: 1px solid;
    height: 19px;
    background: rgb(230, 230, 255);
}

/* file import */
#files {
    visibility: hidden;
    width:1px;
    height:1px;
    padding: 0px;
    margin: 0px;
    border: 0px;
}

label {
    cursor: pointer;
    margin-left: 5px;
    margin-right: 5px;
}

.panel_link {
    color: inherit;
    text-decoration: underline;
    height: 19px;
    margin-left: 5px;
    margin-right: 5px;
    vertical-align: top;
}

#copyright {
    font-size: 10px;
}

/* tutorial/reference */
.h_in {
 font-family:mono;
 color:black;
 padding-left:4ex;
 margin: 6px;
 white-space: pre;
}

.h_res {
 font-family:mono;
 color:blue;
 padding-left:4ex;
 margin: 6px;
 white-space: pre;
}

.ref_table {
    overflow: auto;
}

.ref_table td:first-child {
    font-family:mono;
    width: 30ex;
}

.small_table, .small_table td, .small_table th {
    border: 1px solid black;
    border-collapse: collapse;
    vertical-align: top;
    text-align: left;
}