/* normal */

body  {  color: #FFFF66;  background: #000022 url(/~vk/pics/misc/background_dark.gif); }
h1, h2, h3, h4, p, pre, i, b, em, strong, li, ul, ol, dt, dd, dl, address  {  color: #FFFF66;  background: #000022; }
td, th {  color: #FFFF66;  background: #000022; }


/* ? */
/* li.treenode { color: #9999FF; background: #000022; } */


a:link    {  color: #9999FF;  background: #000022; }
a:visited {  color: #ff9999;  background: #000022; }
a:active  {  color: #ff0000;  background: #000022; }


.invert {  color: #000022;  backhttp://www.hti.umich.edu/c/cme/browse.htmlground: #C0C0C0; }
.plain { text-decoration: none; }

dt { margin-bottom: 1em; }

pre { white-space: pre; }
pre.solid { white-space: pre; border: none; }
pre.ascii { white-space: pre; color: #FFFF66; background: transparent; }

.content { margin-top: 0; margin-left: 3%; margin-right: 3%;  max-width: 45em; }

.hide { display: none; }

.uplinks { margin-left: 3%; margin-right: 3%;}



div.logo { width: 340px; 
           background-image: url(/~vk/pics/misc/veronica.gif);
           background-repeat: no-repeat;
           margin: 0 0 0;
           border: none;
           padding: 45px 0 0;
           line-height: 16px;
         }

/* end normal */


/* ------------------------------------ the "swirleys" -------------------------------------------- */


/* christmas */

/* .dr { background-image: url(/~vk/pics/misc/orn2.gif); */
/*
.dr { background-image: url(/~vk/pics/misc/orn.gif);
      background-repeat: repeat-x;
      margin: 1em 0 0;
      border: none;
      padding: 55px 0 0;
    }
.dr HR { width: 0; line-height: 20px; }

.drh { background-image: url(/~vk/pics/misc/orn.gif);
      background-repeat: repeat-x;
      margin: 1em 10% 0;
      border: none;
      padding: 55px 0 0;
    }
.drh HR { width: 0; line-height: 20px; }
 */



/*  normal (non-christmas) */

/* .dr { background-image: url(/~vk/pics/misc/flower2.gif);  */
/* .drh { background-image: url(/~vk/pics/misc/flower2.gif); */



.dr { background-image: url(/~vk/pics/misc/yswirl.gif);
      background-repeat: repeat-x;
      margin: 1em 0 0;
      border: none;
      padding: 35px 0 0; 
    }
.dr HR { width: 0; line-height: 16px }



.drh { background-image: url(/~vk/pics/misc/yswirl.gif);
      background-repeat: repeat-x;
      margin: 1em 10% 0;
      border: none;
      padding: 35px 0 0;
    }
.drh HR { width: 0; line-height: 16px; }