/* some Cascading Style-Sheet definitions for www.stephan-brumme.com */
/* these lines are copyrighted ! */

/* feel free to send me an email (mailto:mail@stephan-brumme.com) */
/* if you like to include some stuff in your sites */

/* scrollbar */
    body          {
                    margin: 0px; padding: 0px;
                    position: absolute; top: 0px; left: 0px;
                    background-color: #000066;
                    color: #DDDDEE;
                    scrollbar-arrow-color:      #26267D;
                    scrollbar-base-color:       #26267D;
                    scrollbar-darkshadow-color: #26267D;
                    scrollbar-face-color:       #AAAAAA;
                    scrollbar-highlight-color:  #DDDDDD;
                    scrollbar-shadow-color:     #26267D;
                    scrollbar-track-color:      #26267D;
                    cursor:                     default;
                  }

/* horizontal line */
    hr            { color: #999999; height: 1px; border: 0px; }
    hr.menu       { color: #CCCCCC; }

/* all images */
    img           { border: 0px; }

/* menu style */
   .menuDiv       {
                    position: absolute; font-size: 11px;
                    font-family: Arial, Helvetica, sans-serif;
                    border-style: solid; border-width: 1px; padding: 4px;
                    border-color: #CCCCCC;  background-color: #26267D;
                    /* background-image: url(/images/background-column.gif); */
                    top: -100px; left: -100px; z-index: 5;
                    filter: alpha(opacity=90);
                  }
   .menu          {
                    font-size: 11px; width: 100%;
                    padding: 0px;
                  }
   .menu:hover    { color: #DDDD88; text-decoration: none; }
   .menu-hover    {
                    font-size: 11px; padding: 0px;
                    background-image: url(/images/background.gif);
                    cursor: pointer;
                  }

/* main part of each page */
   .main          {
                    color: #DDDDEE;
                    font-family: Arial, Helvetica, sans-serif; font-size: 14px;
                  }
   .main td       {
                    color: #DDDDEE;
                    font-family: Arial, Helvetica, sans-serif; font-size: 14px;
                  }
   .main small    { color: #888888; }
   .main td b     { color: #DDDDEE; }
   td .header     {
                    color: #9999BB;
                    font-family: Arial, Helvetica, sans-serif; font-size: 10px;
                    text-align: right; vertical-align: top; padding-right: 10px;
                  }

   .main-table    {
                    border-style: solid; border-width: 2px; border-color: #999999;
                    padding: 5px;
                  }
   .main-table td {
                    color: #DDDDEE;
                    font-family: Arial, Helvetica, sans-serif; font-size: 14px;
                  }
   .main p        { margin-top: 0px; margin-bottom: 10px; text-indent: 0px; }

   .main h1       {
                    color: white;
                    font-family: Arial, Helvetica, sans-serif; font-size: 16px;
                    font-weight: bold;
                    margin-top: 10px; margin-bottom: 0px;
                  }
   .main h2       {
                    color: white;
                    font-family: Arial, Helvetica, sans-serif; font-size: 14px;
                    font-weight: bold;
                    margin-top: 10px; margin-bottom: 0px;
                  }
   .main .semester  { font-size: 10px; }
   /* only for compatibility reasons, replaced by the new h1 & h2 stylesheets ! */
   .main-headline {
                    color: white;
                    font-family: Arial, Helvetica, sans-serif; font-size: 16px;
                    font-weight: bold;
                  }
   .previewimage  {
                    filter: alpha(style=0, opacity=90, finishopacity=90);
                    -moz-opacity: 90%;
                  }


/* column on the left side */
   .column        {
                    color: #CCCCCC; background-color: #26267D;
                    font-family: Arial, Helvetica, sans-serif; font-size: 12px;
                    width: 180px; padding: 5px;
                    background-image: url(/images/background-column.gif);
                    border-style: solid; border-width: thin;
                    border-color: #999999;
                  }
   .column a      {
                    white-space: nowrap;
                  }
   .column h1     {
                    color: #EFEFEF;
                    font-family: Arial, Helvetica, sans-serif; font-size: 14px;
                    font-weight: bold;
                    margin-top: 0px; margin-bottom: 0px;
                  }
   .column table  {
                    color: #CCCCCC;
                    font-family: Arial, Helvetica, sans-serif; font-size: 12px;
                    border-style: none; padding: 0px;
                  }
   .column-button {
                    color: #CCCCCC; background-color: #515197;
                    border-style: solid; border-width: 1px;
                    border-color: #999999; cursor: hand;
                  }
   .column-button:hover { color: #DDDDDD; }
   .column-radio  { color: #CCCCCC; }
   .column .line  { width: 180px; height: 5px; border: 0;  }
   /* only for compatibility reasons, replaced by the new h1 & h2 stylesheets ! */
   .column-headline {
                    color: #EFEFEF;
                    font-family: Arial, Helvetica, sans-serif; font-size: 14px;
                    font-weight: bold;
                  }
   .column-table  {
                    color: #CCCCCC;
                    font-family: Arial, Helvetica, sans-serif; font-size: 12px;
                    border-style: none; padding: 0px;
                  }


/* bottom line */
   .bottom        {
                    color: #CCCCCC;
                    font-family: Arial, Helvetica, sans-serif; font-size: 12px;
                  }

/* search field in the bottom line */
   .search        {
                    color: black; background-color: #7777AA;
                    font-family: Arial, Helvetica, sans-serif;
                    font-weight: bold;
                    border: 1px #999999 solid;
                  }

/* tooltips if mouse hovers over a link */
   #tooltipDiv    {
                    position: absolute; top: -100px; left: -100px; z-index: 6;
                    border-style: solid; border-width: 1px; border-color: #CC9933;
                    padding: 0px; font-family: Verdana, Arial, Helvetica, sans-serif;
                    font-size: 11px; color: black; background-color: #FFFFCC;
                    white-space: nowrap; filter: alpha(style=0, opacity=0, finishopacity=0);
                    -moz-opacity: 0%;
                  }
   #tooltipDiv .main
                  {
                    font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px;
                    color: black; background-color: #FFFFCC; padding: 2px;
                    white-space: nowrap;
                  }
   #tooltipDiv .header
                  {
                    font-family: Arial, Helvetica, sans-serif; font-size: 9px;
                    color: #FFFFCC; background-color: #CC9933; padding: 1px;
                  }
   #tooltipDiv .nestedtable
                  {
                    margin: 0px; padding: 0px; table-layout: fixed;
                  }
   #tooltipDiv .nestedtable td
                  {
                    font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px;
                    color: black; margin: 0px; padding: 0px; white-space: nowrap;
                  }
   #tooltipDiv .nestedtable td b
                  {
                    color: #CC2222; font-weight: normal;
                  }
   #tooltipDiv .nestedtable td strong
                  {
                    color: black; font-weight: bold;
                  }
   #tooltipDiv .nestedtable td i
                  {
                    color: #2222CC; font-style: normal;
                  }

/* advertisement on the right side of each page */
   #adDiv         {
                    position: absolute; top: 25px; left: 750px; z-index: 5;
                    font-family: Arial, Helvetica, sans-serif; font-size: 9px;
                    color: #CCCCCC; filter: alpha(style=0, opacity=80, finishopacity=80);
                    border-style: none; padding: 0px;
                  }

/* hyperlinks */
    a             {
                    color: #FFA000; text-decoration: none;
                    font-family: Arial, Helvetica, sans-serif;
                  }
    a:active      { color: #EEEE00; }
    a:focus       { outline: none; }
    a:hover       { text-decoration: underline; }
/* menu hyperlinks */
    a.headline    {
                    color: white; width: 100%;
                    font-family: Arial, Helvetica, sans-serif; font-size: 16px;
                    font-weight: bold; font-style: normal;
                  }
    a.headline:hover
                  { color: #DDDDDD; text-decoration: none; }
/* referred places */
    a.shortcut    {
                    color: white;
                    font-family: Arial, Helvetica, sans-serif; font-size: 16px;
                    font-weight: bold;
                  }
/* protected hyperlinks */
    span.protected  { color: white; }

/* source code */
    .code, td.code {
                    color: black;
                    font-family: monospace; font-size: 12px;
                    background-color: white;
                    border-style: solid; border-width: thin;
                    border-color: #999999;
                    padding: 8px;
                  }
    .code.section { color: black; font-weight: bold; }
    .code.comment { color: green; }
    .code.command { color: blue; }
    .code.string  { color: blue; font-weight: bold; }
    .code.file    {
                    color: #DDDDEE;
                    font-family: Arial, Helvetica, sans-serif; font-size: 12px;
                    font-weight: bold; font-style: italic;
                    background-color: none;
                    border-style: none;
                    padding: 0px;
                  }

/* "recent updates" sidebar */
    #updates      {
                    color: #BBBBCC;
                    font-family: Arial, Helvetica, sans-serif; font-size: 10px;
                  }
    #updates h1   { font-size: 12px; }
    #updates h2   { font-size: 10px; }
