body {
  font-size: 14px;
}
nav ul       { list-style-type: none; }

/*#main-header { margin-left: 3px; }*/

pre          { white-space: pre-wrap; }

aside        { margin: 5%;
               border-width: 1pt;
               border-color: gray;
               border-style: groove;
               padding: 5%; }

.aside-head  { text-align: center; }

.clickable   { border-color: blue; 
               border-style: solid;
               border-width: 2px; }

.w-150 {
}