/* Global variables */

/* darker theme */
:root {
  --main-bg-color: #1A355B;
  --code-font-family: monospace;
  --text-color:#D4E6F1;  
  --text-error-color:red;
  --text-code-color: yellow;  
  --border-style: 1px solid var(
  --text-color);
  --border-radius: 0px;
  --panel-bg-color: #000; 
  --panel-width: 80;     
  --menu-bg-color: #224;    
  --menu-text-color: #EEE;    
  --menu-item-padding:4px 12px 4px 12px;
  --menu-bg-hover: green;
  --menu-bg-hover-border: none;
  --menu-color-active: #111;
  --menu-bg-active: #ccc;
  --menu-dropdown-content-bg-color: #ccc;
  --menu-dropdown-text-color: black;
}

body{
    background-color: var(--main-bg-color);
    min-height: 95vh;    
    color:var(--text-color);      
    box-sizing: border-box;
    margin:auto;
    margin-top:0px;
    margin-bottom:0px;
    max-width:1080px;
}

/* outermost content panel (for console screen, help screen, kb listing, etc.) */
.content_panel {
  display: none;
  border-top: none;
  height: 80vh;  
  font-family: var(--code-font-family);
}

.main_screen, .querybar, .status_screen {
  background-color: var(--panel-bg-color);  
  margin:auto;  
  border: var(--border-style);
  border-radius: var(--border-radius);
  text-align: left;  
  margin-top:0px;
  padding-left:12px;
  padding-bottom:12px
}

.main_screen a, .querybar a, .status_screen a {
  color:var(--text-code-color);      
}

.main_screen p{  
   padding-top: 0px;
   padding-bottom: 0px;
   margin-top: 0px;
   margin-bottom: 0px;
}

.main_screen {  
  height: fit-content;
  overflow: auto;  
  white-space: pre-wrap;
  color: inherit;
  padding-top:12px;
  resize: vertical;
}

/* for formatting error text */
.prologerror{  
   padding-top: 0px;
   padding-bottom: 0px;
   margin-top: 0px;
   margin-bottom: 0px;
   color: var(--text-error-color);
}

.code{  
   color: var(--text-code-color);
}

.querybar {
  border: var(--border-style);
  border-radius: 10px;
  padding:12px;
  margin-top:12px;
}