a {
color : #000000;
text-decoration : none;
}

a.inline { color: #2266ff ; font-weight: bold;  padding-top: 10px }
/* a:hover { text-decoration: underline ; background-color: #3399ff } */
/* a:visited { color: #1155ee } */
a:active:hover { color: #ff2266 }
a:hover { color: #2222dd ; text-decoration: underline ; font-weight: bold}


# boxed paragraph
p { }
p.boxed { border-color: #000000; 
  border-style: solid; 
  border-color: #2266ff;
  border-width: medium}

html {
  padding:0px;
  margin:0px;
}
body {
  padding: 0px 20px;
  margin: 0px;
}
#navigation_menu {
  position: fixed;
  text-align: right;
  width: 150px;
  top: 50px;
  left: 10px;
  padding:20px;
  margin:0px;
  background: transparent;
  border: 1px #ffffff;
  font-size:14px;
  font-weight: normal;
  line-height:1.5;
}
#content {
  top: 0px;
  margin-left: 180px;
  overflow: auto;
  background: transparent;

  padding: 50px 10px 10px 10px;
  z-index: -1
}
#topbar{ 
  top: 0px;
  position: fixed;
  width: 100%;
  height: 50px;
  left: 0px; 
  line-height: 2;
  color: #ffffff ; background-color: #3399ff ; font-size: 16pt ; font-family: arial, sans-serif ; font-weight: bold  }

#title { 
  margin-left: 180px;
 }
#intro a#intro,
#downloads a#downloads,
#examples a#examples,
#installation a#installation,
#quick a#quick,
#screenshots a#screenshots,
#documentation a#documentation,
#bugs a#bugs,
#feedback a#feedback,
#windows a#windows
{
font-size:16px;
color: #2222dd ;
}

#intro a#intro::before,
#downloads a#downloads::before,
#examples a#examples::before,
#installation a#installation::before,
#quick a#quick::before,
#screenshots a#screenshots::before,
#documentation a#documentation::before,
#bugs a#bugs::before,
#feedback a#feedback::before,
#windows a#windows::before
{
content: " \2219\00a0 "
}
h1 {
  font-size:16px;
  padding-top: 10px;
}
h2 {
  font-size:12px;
  padding-top: 10px;
}

/* new classes for markup */

/* header items */
.bighead { color: #ffffff ; background-color: #3399ff ; font-size: 16pt ; font-family: arial, sans-serif ; font-weight: bold }

.header { color: #ffffff ; background-color: #3399ff ; font-size: 16pt ; font-family: arial, sans-serif ; font-weight: bold;  padding-top: 10px}

.head   { font-size: 16pt ; font-family: arial, sans-serif ; font-weight: bold;  padding-top: 10px }

.subhead { font-size: 12pt ; font-family: arial, sans-serif ; font-weight: bold;  padding-top: 10px }

.subsubhead { font-size: 10pt ; font-family: arial, sans-serif ; font-weight: bold }

/* menu items */

.menu { width: 90% }
.largemenuitem { font-size: 14pt ; font-family: arial, sans-serif ; font-weight: bold ; text-align: right; padding-top: 2px ; padding-bottom: 2px }
.menuitem { font-size: 11pt ; font-family: arial, sans-serif ; font-weight: bold ; text-align: right; padding-top: 2px ; padding-bottom: 2px }
.activemenuitem { color: #ff0000; font-size: 10pt ; font-family: arial, sans-serif ; font-weight: bold ; text-align: right; padding-top: 2px ; padding-bottom: 2px }

td.menu { vertical-align: top ; background-color: #ffffff ; padding: 4px 4px 4px 0px }


.column_head {color: #000000 ; background-color: #3399ff ; font-size: 10pt ; font-family: arial, sans-serif ; font-weight: bold ; text-align: left; padding-top: 2px ; padding-bottom: 2px }
.entry {color: #000000 ; background-color: #f5f5f5 ; font-size: 10pt ; font-family: arial, sans-serif ; font-weight: bold ; text-align: left; vertical-align: top ; padding-top: 2px ; padding-bottom: 2px }

.email {color: #6000F0 ; background-color: #f5f5f5 ; font-size: 12pt ; font-family: arial, sans-serif ; font-weight: normal ; text-align: left; vertical-align: top ; padding-top: 2px ; padding-bottom: 2px }

.hotlink {color: #000000 ; background-color: #f5f5f5 ; font-size: 12pt ; font-family: arial, sans-serif ; font-weight: normal ; text-align: left; vertical-align: top ; padding-top: 2px ; padding-bottom: 2px }

.section { font-size: 14pt ; font-weight: bold }
.subsection { font-size: 13pt ; font-weight: bold }
.subsubsection { font-size: 12pt ; font-weight: bold }
highlight { color: #ff0000 }

.logo { 
position: fixed;
top: 300px;
left: 50px;
z-index: -1
 }

/* Tool Tips */
div.tooltipitem
{
    display: none;
    position: absolute;
    border: 2px solid #000000;
    background-color: #f2f2f2;
    min-height: 100px;
    width: 200px;
    padding: 10px;
    z-index : 100;
    overflow: hidden;
}
