body {
  background: #000055;
  color: white;
  margin: 5px 5px 0 5px;
  font-family:      sans-serif;
}

p,h1 {
  margin:           0ex 0ex 1ex 0ex;
  font-family:      sans-serif;
}

#left {
  position:       absolute; /* fallback for browsers that don't handle fixed */
  position:       fixed;
  font-family:     sans-serif;
  font-weight:     bold;
  top:             5px;
  left:            0.5em;
  width:           10.5em;
  padding:         0pt 0pt 0pt 0pt;
  margin:          0pt 0pt 0pt 0pt;
}

#menu {
  background:      #ccccff;
  padding-top:     1ex;
  padding-bottom:  1ex;
  padding-left:    0.5em;
  margin:          0pt 0pt 0pt 0pt;
}

a.menuimg {
  display:block;
  text-align:center;
  padding-bottom:5px
}

a.menuitem {
  text-decoration: none;
  color:           #000055;
  padding-left:    1.5em;
  text-indent:     -1em;
  display:         block;
  margin-top:      0.5ex;
  margin-bottom:   0.5ex;
}

a.activemenuitem {
  text-decoration: none; 
  color:           #ccccff;
  background:      #000055;
  padding-left:    1.5em;
  text-indent:     -1em;
  display:         block;
  margin-top:      0.5ex;
  margin-bottom:   0.5ex;
}

table.novrules td {
  padding-left: 0.5em;
  padding-right: 0.5em;
}

td.date {
  text-align:right
}

tr.admin {
  color:red
}

tr.done {
  color:gray
}

a.menuitem:hover { background: #000055; color: #ccccff; }

#scroll {
  position:        absolute;
  top:              5px;
  right:            5px;
  left:            11.5em;
}

#content {
  /* top:             5px; */
  background:     white;
  color:          black;
  margin:          0px;
  padding-top:     1ex;
  padding-bottom:  1ex;
  padding-left:    0.5em;
  padding-right:   0.5em;
  font-family:     sans-serif;
  overflow:        visible;
}

#content #insert {
  background:      #ffff00;
  padding-left:    0.5em;
  padding-right:   0.5em;
  padding-bottom:  0.5ex;
  float:           right;
  width:           30%;
  margin-left:     1em;
  margin-bottom:   1ex;
}

#modif {
  font-family:      sans-serif;
  font-style:       italic;
  text-align:       right;
}

#content a         {text-decoration: none; }
#content a:link    {color: #0000e0; }
#content a:visited {color: #008080; }
#content a[href]:hover   {text-decoration: underline; }
#content a:active  {color: #00ff00; }

#content dd,li     {padding-bottom:1ex}

#content dt        {font-weight:bold}

.hilite  { color:red }

.flushright { position:absolute; right:1ex; display:block; }

.floatleft {
  float:left;
  display:inline;
  margin:0.5ex;
}

.floatright {
  float:right;
  display:inline;
  margin:0.5ex;
}

img { border: 0 }

.navheader, .navfooter, .article, .titlepage, .toc, .abstract, .section {
  background: white;
  color: black;
}

/* Why is this needed: */
.navheader table, .navfooter table {
  color: black;
}

.navheader, .navfooter {
  margin-top: 5px;
  margin-bottom: 5px;
}

.file, .host, .command, .input, .output {
  font-family: monospace;
}

.na, .aux {
  color:gray
}

body > div.section, .article, .toc, .abstract {
  padding: 5px;
}

.prgkey, .prgcomment {
  font-family: monospace;
}

.ULg      { color: #000080 }
.UCL      { color: #008000 }
.Multitel { color: #800000 }

th.deflist {
    text-align: right;
    vertical-align: top;
}