.column-left{ float: left; width: 7%; }
.column-right{ float: right; width: 7%; }
.column-center{ display: inline-block; width: 86%; }

/* normal text size for the 5 HTML elements that default to monospace typeface in most browsers */
pre,
code,
kbd,
samp,
tt{
  font-family:monospace,monospace;
  font-size:1em;
}

body {
    background-color: #04143d;
}

.my_border_inset {
	margin: 0 auto;
	border: 5px inset #ddd;
}

.my_border_outset {
	margin: 0 auto;
	border: 5px outset #ddd;
}

h1 {
    color: white;
    margin-top: 1.37em;
    margin-bottom: 0.17em;
    font-weight: bold;
}

h2 {
    color: white;
    margin-top: 1.37em;
    margin-bottom: 0.17em;
}

h3 {
    color: white;
    margin-top: 1.17em;
    margin-bottom: 0.17em;
}

p {
    color: #c2c2d6;
}

li {
    color: #c2c2d6;
}

ul li {
    color: #c2c2d6; 
    list-style-type: square;
}

ul li li {
    color: #c2c2d6;
    list-style: none;
    padding-left: 0em;
    text-indent: -2.4em;
}

/*ul li li:before {
  content: '✓ ';
}
*/
ul li li:before {
  content: '- ';
}


ul li li li {
    color: #c2c2d6;
    list-style-type: bullet;
}

/* unvisited link */
a:link {
  color: #c2c2d6;
}

/* visited link */
a:visited {
  color: #c2c2d6;
}

/* mouse over link */
a:hover {
  color: red;
}

/* selected link */
a:active {
  color: #c2c2d6;
}

p {
    top-margin: 3pt;
    bottom-margin: 2pt;
    padding: 2pt;
}

li::marker {
    color: #88a8f8;
}

th {
  padding: 15px;
  text-align: left;
  color: white;
}

td {
  padding: 15px;
  text-align: left;
  color: #c2c2d6;
}

tr:hover {background-color: #5555f5;}

table, th, td {
    border: 1px solid white;
    border-collapse: collapse;
}

tr:nth-child(even) {
    background-color: #14235d;
}

tr:nth-child(odd) {
    background-color: #14135d;
}

th, td {
    padding: 5px;
}

/* https://www.w3schools.com/cssref/css_websafe_fonts.asp */
terminal {
    background-color: black;
    color : green;
    font-family: "Lucida Console", Monaco, monospace
}

terminalinfo {
    font-family: "Lucida Console", Monaco, monospace
}

/* framed text box */
.boxed {
  border: 3px solid green ;
  background-color: #04141d ;
  color: #999999
}