/* * { border: dotted red 1px; } */

body { margin: 0; color: black; background: white }

h1, h2, h3, h4, h5, h6, .short { font-family: sans-serif; }

h1 {
     text-align: right; font-size: xx-large; font-style: italic;
     background-color: rgb(50%,50%,50%); color: white;
     margin: 0; padding: 0.5ex; padding-right: 1ex;
     border-bottom: solid black thick; margin-bottom: 0.5ex;
}

h2 {
     background: rgb(75%,75%,75%); color: white;
     margin-left: 50%; padding-left: 1ex;
}

ul { list-style: inside; } 
dt { font-weight: bolder }
dt:after { content: ': ' }
dd { margin-bottom: 0.5em; font-size: larger }
dd a { background: rgb(95%, 95%, 95%); padding: 0.2ex 0.4ex }

.underlined { border-bottom: solid 1px; }
.lframe {
          float: left;
          border: dashed 1px; border-left: none;
          background: rgb(95%,95%,95%);
          padding: 1ex; margin-right: 1ex;
/*          text-align: center; */
}

#navigation { width: 12em; }
#contact { border: solid 1px; padding: 0.5ex; background: rgb(90%,90%,90%); }

#navigation ul { padding: 0; list-style-type: none; background: rgb(90%, 90%, 90%) }
#navigation ul a { text-decoration: none; display: block; border: solid thin rgb(95%, 95%, 95%) }
#navigation ul a:hover { background: rgb(90%,90%,90%); border-color: black; }
#navigation ul ul { padding-left: 0.6ex; background: rgb(95%, 95%, 95%) }