/*-------------------------------------------------------------------
   menu and body  (= css magic ;-)
-------------------------------------------------------------------*/
body { padding: 0pt
   ; margin: 0pt
   ; color: #333
   ; background-color: white
   ; font-family: calibri, "franklin gothic book", serif
   ; font-size: 11pt
   }


.body { margin: 1.2em 16% 0% 18%
   ; padding-top: 0em
   }

.header { padding: 0pt
   ; margin: 0pt
   }

.inplace { padding: 0pt
   ; margin: 0pt
   }


h1 { padding: 0pt
   ; margin: 2ex 16% 0ex 18%
   }

ul.menu { padding: 2ex 1ex 1ex 0ex
   ; margin: -1ex 2ex 0ex 0ex /* -1ex is a fix for a firefox bug */
   ; float: left
   ; width: 136px
   }

ul.menu { border: none
   ; background-color: rgb(10,108,206)
   ; font: 85% calibri, "franklin gothic book", sans-serif
   ; list-style: none
   }

.menu li { margin: 0em 0.5em 0.2em 0.5em
   ; padding: 0pt
   }

.menu a { text-decoration: none
   ; border-left: rgb(130,180,230) 1em solid
   ; padding-left: 0.5em
   ; color: white
   }

.menu a:link { color: white
   }

.menu a:visited { color: white
   }

.menu a:hover
   { color: white
   ; border-left-color: rgb(210,228,246)
   }

/*-------------------------------------------------------------------
   General style
-------------------------------------------------------------------*/
h1 { font: 175% calibri, "franklin gothic book", sans-serif}
h2 { font: 160% calibri, "franklin gothic book", sans-serif}
h3 { font: 140% calibri, "franklin gothic book", sans-serif}
h4 { font: 120% calibri, "franklin gothic book", sans-serif}

h2 { margin-top: 2ex
   ; margin-bottom: 0pt
   }

h1,h2 { border-bottom: solid 1px }

a:link { color: black }
a:visited { color: #333 }

pre, code,
strong { color: black
   ; font-family: consolas, monospace
            ; font-size: 95%
   }

td { vertical-align: top }

img { margin: 2ex }



/* definition lists */
dt { font-weight: bold
   ; font-family: calibri, "franklin gothic book", sans-serif
   ; margin-bottom: 1.25ex
   }

dd { margin-bottom: 2.5ex }

dd p { margin-top: 1.25ex
   ; margin-bottom: 1.25ex
   }

dd ul { padding-left: 1em }



/*-------------------------------------------------------------------
   New elements
-------------------------------------------------------------------*/
.abstract { font-style: italic }

.quicklinks { font-weight: normal
   ; font-family: calibri, "franklin gothic book", serif
   ; padding-left: 1ex
   }

.date { text-align: right
            ; font-size: smaller
   ; border-top: 1px solid
   ; margin-top: 4ex
   }

.math { font-style: italic }

.license { padding-left: 2em
   ; padding-right: 2em
   ; font-style: italic
   }

.quad { padding-right: 4ex }

.mypicture { float: right
   ; border: none
   ; margin: 0ex 0ex 2ex 2ex
   }

.logo { float: right
   ; border: none
   ; margin: 0ex 0ex 2ex 2ex
   }

.hitcounter { margin: 0pt
   ; border: none
   }


/*-------------------------------------------------------------------
   Thumbnail gallery
-------------------------------------------------------------------*/
div.spacer { clear: both
   }

ol.thumbs { padding: 0pt
   ; margin: 0pt
   ; margin-top: 2ex
   }
ol.xthumbs { padding: 0pt
   ; margin: 0pt
   ; margin-top: 2ex
   }

.thumbs li { font: 70% calibri, "franklin gothic book", sans-serif
            ; padding-left: 2ex
            ; width: 150px
            ; height: 19em
            ; float: left
            ; list-style: none
            ; text-align: center
            }


.xthumbs li { font: 70% calibri, "franklin gothic book", sans-serif
            ; padding-left: 2ex
            ; width: 120px
            ; height: 19em
            ; float: left
            ; list-style: none
            ; text-align: center
            }

.thumbs p { margin-top: -1ex }
.thumbs img { border: none }

.xthumbs p { margin-top: -1ex }
.xthumbs img { border: none }

.thumbnail { height: 90px; width: 120px }
.thumbnailr { height: 120px; width: 90px }
.xthumbnail { height: 56px; width: 75px }
.xthumbnailr { height: 75px; width: 56px }

.disclaimer { font: 70% calibri, "franklin gothic book", sans-serif }


/*-------------------------------------------------------------------
   IE bug fixes
   see <http://www.positioniseverything.net/articles/hollyhack.html>
-------------------------------------------------------------------*/

/* fix for IE bug: the infamous 3px jog on floats \*/
* html .body { height: 1% }
/* end of IE fix */

/* fix for IE bug  \*/
* html ul.menu { margin-top: 0px }
/* end of IE fix */

/* fix for IE bug: italic text extends outside the box \*/
* html .abstract { width: 98% }
* html .license { width: 98% }
/* end of IE fix */

/* fix for IE text scaling \*/
* html body { font-size: normal
     ; font-size: smaller
     ; font-size: normal
     }
/* end of IE fix */