body {
  font: 14px Arial,sans-serif;
  margin: 0px;
  width: 70%;
}

header {
  padding: 10px 20px;
  background: #acb3b9;
}

header h1 {
  font-size: 24px;
}

div.container {
  height: 100%;
  width: 100%;
  background: #fbf2f2;
  float: left;
  padding-bottom: 5px;
}

div.content {
  height: 100%;
  width: 100%;
  background: #f2f2f2;
  float: left;
  padding-bottom: 5px;
}

div.indent {
  text-indent : 2em;
}

nav, section {
  float: left;
  padding: 1rem;
  height: inherit;
  box-sizing: border-box;
}

section.head {
  border: 1px solid gray;
  background-color: #d4e6f0;
  width: 80%;
}

section.main {
  border: 1px solid gray;
  margin-top: 10px;
  width: 100%;
}

section.sub {
  margin: 20px;
  width: 100%;
}

nav {
  width: 20%;
}

nav ul {
  list-style: none;
  line-height: 24px;
  padding: 0px;
}

nav ul li a {
  color: #333;
}

article {
  margin: 5px;
  padding: 5px;
  overflow: hidden;
  background-color: #eaeaea;
  border-radius: 5px;
  border: 2px solid gray;
}

article fieldset {
  margin-top: 10px;
  margin-bottom: 20px;
  border: 1px solid gray;
  border-radius: 5px;
}

article fieldset:hover {
  border: 2px solid black;
  background-color: #eafaea;
}

article fieldset.norview:hover {
  border: 4px solid blue;
  background-color: #eafaea;
}

article fieldset ul li {
  margin-left: -1em;
}

article fieldset legend {
  font-weight: bold;
}

.clearfix:after {
  content: ".";
  display: block;
  height: 0;
  clear: both;
  visibility: hidden;
}

footer {
  background: #acb3b9;
  text-align: center;
  padding: 5px;
}

.tooltip {
  position: relative;
  display: inline-block;
  border-bottom: 1px dotted black; /* Add dots under the hoverable text */
  cursor: pointer;
}

/* Tooltip text */
.tooltiptext {
  visibility: hidden; /* Hidden by default */
  width: 130px;
  background-color: AliceBlue;
  color: #fffffff;
  text-align: center;
  padding: 5px 0;
  border-radius: 6px;
  position: absolute;
  z-index: 1; /* Ensure tooltip is displayed above content */
}

/* Show the tooltip text on hover */
.tooltip:hover .tooltiptext {
  visibility: visible;
}

a.transbkgd:hover {
  background-color: transparent;
}

a:link, a:visited {
  text-decoration: none;
}


a:hover {
  text-decoration: underline;
  background-color: #99ff99;
}

.box {
  float: left;
  padding: 4px 8px;
  width: 33%;
  box-sizing: border-box;
}

.box > div {
  height: 100%;
}

table.opcodes {
  table-layout: fixed;
  font: 15px "Courier New", monospace;
}

table.opcodes td.oc-code {
  width:110px;
  font-weight: 900;
}

table.opcodes td.oc-mnem {
  width:215px;
  font-weight: 900;
}

table.vidlist th.idx {
  width:50px;
  text-align: right;
  padding-right: 20px;
  padding-Left: 30px;  
} 

table.vidlist td.idx {
  width:50px;
  text-align: right;
  padding-right: 20px;
  padding-Left: 30px;  
}