body {
    background-color: white;
    font-family: monospace;
    height: 100%;
}

a:visited {
    color: blue;
}

.leftborder {
    border-left: 1px solid #555;
    padding: 0px 16px;
    margin: 0px 8px;
}

.sideborders {
    border-left: 1px solid #555;
    border-right: 1px solid #555;
    padding: 0px 16px;
    margin: 0px 8px;
}

.bottomborder {
    border-bottom: 1px solid black;
}

.topClassSelect {
    border-collapse: collapse;
}

.topClassSelect td {
    padding: 0px;
}

.topControls, .sourceControls td, #tbl_examples th {
    font-size: 1.2em;
    font-weight: bold;
}

.ex_url, .ex_url:visited {
    color: black;
}

.mt16 {
    margin-top: 16px;
}

.font_f1 {
    font-size: 1.17em;
    font-weight: bold;
}

.font_f2 {
    font-size: 1.17em;
    font-weight: bold;
}

.topMenu {
    margin-left: 0px;
    padding-left: 0px;
    float: left;
}

.previewLevel {
    font-size: 1.1em;
    font-weight: bold;
}

.container {
    border-collapse: collapse;
    margin: 4px;
}

.modebutton {
    text-align: center;
    margin: 0px 8px 4px 0px;
    padding: 4px 4px 0px 4px;
    min-width: 110px;
}

.container td {
    padding: 8px;
    vertical-align: top;
}

select {
    padding: 2px 4px;
    font-weight: bold;
    font-size: 14px;
}

.actionButton {
    color: black;
    padding: 2px 4px;
    font-weight: bold;
    font-size: 14px;
}

.editor {
    padding: 8px;
    border: 1px solid #777777;
    box-sizing: border-box;
    line-height: 1.4em;
    width: 100%
}

.mar_r {
    margin-right: 8px;
}

#ta_source {
    border: none;
    padding: 4px;
}

.selectable {
    border-collapse: collapse;
}

.selectable .selectedRow, .selectable .unselectedRow {
    border: 1px solid black;
    padding: 4px;
}

.selectedRow {
    background-color: deepskyblue;
}

.unselectedRow {
    background-color: white;
}

#tbl_source, #tbl_bytecode, #tbl_constant_pool, #tbl_examples {
    border-collapse: collapse;
    width: 100%;
}

#tbl_source, #tbl_bytecode {
    cursor: pointer;
}

#scroll_source, #scroll_pool, #scroll_bytecode {
    height: 77vh;
    overflow: auto;
}

#scroll_infos {
    height: 80vh;
    overflow: auto;
}

#tbl_source th, #tbl_source td, #tbl_bytecode th, #tbl_bytecode td, #tbl_constant_pool td, #tbl_constant_pool th, #tbl_examples td {
    padding: 4px;
    border: 1px solid #777777;
    font-size: medium;
}

#tbl_examples th {
    padding: 4px;
    border: 1px solid #777777;
}

.sourceControls {
    float: right;
    border-collapse: collapse;
    margin-top: 6px;
}

.sourceControls td {
    vertical-align: middle;
    padding: 0px 0px 0px 8px;
}

.errors {
    border: 2px solid red;
    padding: 4px;
    margin: 8px 0px;
}

.hidden {
    display: none;
}

.show {
}

.header1 {
    float: left;
}

.header2 {
    float: left;
    padding-left: 8px;
}

.header2 h1, .header2 h2 {
    margin: 8px 0px;
}

.headercontainer, .heading_centre {
    clear: both;
    float: none;
    background-color: #b9ceff;
    border: 1px solid #777777;
    border-bottom: none;
    margin-top: 8px;
}

.header {
    padding: 8px 8px;
}

.pr8 {
    padding-right: 8px;
}

.heading, .heading_centre {
    font-size: x-large;
    font-weight: bold;
}

.heading_centre {
    text-align: center;
}

.nopadmargin {
    padding: 0px;
    margin: 0px;
}

.floatleft {
    float: left;
    clear: none;
}

.floatright {
    text-align: right;
    float: right;
    clear: none;
}

.clear {
    float: none;
    clear: both;
    margin: 0px;
    padding: 0px;
}

.flexcontainer {
    display: flex;
}

.exampletable {
    flex-grow: 50;
}

.corelibtitle {
    font-size: large;
    margin: 8px 8px 8px 0px;
    padding-top: 4px;
}

.corelibjdk {
    font-size: large;
    margin: 8px 4px 0px 4px;
    padding: 4px 8px;
}

.corelibselected {
    font-weight: bold;
}

.corelibjdks {
    margin-left: 16px;
}

.corelibinfos td {
    padding: 4px 8px;
    font-size: large;
}

.corelibinfos th {
    padding: 4px 0px;
    font-size: large;
    text-align: left;
}

.corelibsearch {
    min-width: 50%;
    font-size: large;
}

.source {
    flex-grow: 70;
}

.inspectbytecode {
    flex-grow: 50;
}

#tbl_info {
    border-collapse: collapse;
    width: 100%;
}

#tbl_info td {
    background-color: white;
    border: 1px solid #777777;
    padding: 4px;
    vertical-align: top;
}

.ilink {
    text-decoration: none;
}

.upload, .corelib, .urlsource {
    border: 1px solid #777777;
    min-height: 60px;
    padding: 8px;
}

.urlsourceinput {
    width: 70%;
    font-size: large;
}

.exampleUrl {
    padding-top: 8px;
}

#urlsourceexample {
    text-decoration: underline;
}


.halfwidth {
    width: 50%;
}

.inspired {
    font-size: smaller;
    font-style: italic;
}