body
{
    background-color: #88c;
    font-family: sans-serif; 
}

#page
{
    margin-left: auto;
    margin-right: auto;
    max-width: 55em;
    background-color: white;
    border: 0.2em solid;
    border-color: #000;
}

#header
{
    width: 100%;
    margin-top: 0;
    background-color: #f8f8f8;
}

#logo
{
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: 2em;
}

#navbar
{
    background-color: #777;
    color: #fff;
    padding: 0.3em 0.3em 0.3em 0.3em;
}

#progressbar
{
    width: 100%;
    background-color: #777;
}

.progresstab
{
    margin-top: 2px;
    text-align: center;
    border: 1px solid;
    -moz-border-radius: 8px 8px 0px 0px;
    border-radius: 8px 8px 0px 0px;
    padding: 0.3em 0.6em 0.3em 0.6em;
    display: inline-block;
}

#IE7 .inlineblock
{
    display: inline;
    zoom: 1;
}

#progressbar .notcurrent
{
    border-color: #000 #000 #000 #000;
    background-color: #f8f8f8;
}

#progressbar .current
{
    font-weight: bold;
    border-color: #000 #000 #fff #000;
    background-color: #fff;
}

#navbar a
{
    background-color: #777;
    color: #fff;
}

#main
{
    background-color: white;
    width: 100%;
    text-align: right;
}

#footer
{
    text-align: center;
    color: #fff;
    background-color: #777;
}

#footer a
{
    background-color: #777;
    color: #fff;
}

#googletranslate
{
    position: absolute;
    z-index: 1;
    right: 0;
    top: 0;
    background-color: #f8f8f8;
    border: 1px solid;
    border-color: black;
    padding: 0.3em;
}

#sidebar
{
    width: 20%;
    background-color: white;
    margin: 0;
    padding-top: 1em;
    padding-left: 0.5em;
    padding-right: 1em;
    display: inline-block;
    vertical-align: top;
    text-align: left;
}

#rightpanel
{
    width: 76%;
    display: inline-block;
    vertical-align: top;
    margin: 0;
    text-align: left;
}

#body
{
    background-color: white;
    padding: 0.2em 1em 0.2em 1em;
}

#checkoutbody
{
    background-color: white;
    margin: 0;
    padding: 0.2em 1em 0.2em 1em;
    border: 1px solid;
    border-color: #fff #000 #fff #000;
    min-height: 25em;
}

div.manual
{
    border: 1px solid;
    border-color: #11d;
}

.sidebarspacer
{
    height: 1em;
}

#sidebar a
{
    color: #11d;
    text-decoration: none;
    display: inline-block;
}
#sidebar a:hover
{
    text-decoration: underline;
}

a.link
{
    color: #11d;
    text-decoration: none;
}
a.link:hover
{
    text-decoration: underline;
}

li
{
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

#prodtab
{
    text-align: left;
    margin-left: auto;
    margin-right: auto;
    max-width: 95%;
}

#disctab
{
    margin-left: auto;
    margin-right: auto;
}

.screenshot
{
    display:block;
    margin-left: auto;
    margin-right: auto;
    max-width: 100%;
}

.imagebox
{
    display:block;
    margin-top: 5em;
    margin-left: auto;
    margin-right: auto;
    max-width: 90%;
    border: 0.2em solid;
    border-color: black;
    padding: 2em;
    background-color: white;
}

.purchdesc
{
    margin-top: 2em;
    margin-bottom: 2em;
    margin-left: auto;
    margin-right: auto;
    background-color: #eef;
}

.download_div
{
    padding: 0.5em;
    margin: 1.5em;
    border: 3px solid;
    border-color: #11d;
}

.download
{
    text-align: center;
    padding: 0.5em;
    font-size: large;
    font-weight: bold;
}

.blockcentre
{
    margin-left: auto;
    margin-right: auto;
}

.centre { text-align: center }
.left { text-align: left }
.right { text-align: right }
.error { color: #d00 }
img { border: none }
.bold { font-weight: bold }
.indent { margin-left: 5em }

.hastip
{
    position: relative;
}

.hastip:hover
{
    z-index: 100;
}

.hastip .tip
{
    display: none
}

.hastip:hover .tip
{
    display: block;
    position: absolute;
    margin-top: 4px;
    margin-left: -25em;
    padding: 4px;
    width: 25em;
    border: 1px solid #88c;
    background-color: #f0f0ff;
    color: #000;
    font-size: small;
}

#IE7 .hastip:hover .tip
{
    margin-top: 2em;
    margin-left: -20em;
}

/******************** Styles for manual pages ******************/

h1.title
{
  font-family: sans-serif;
  font-size: 22pt;
  text-align: center;
}

h2.title
{
  font-family: sans-serif; 
  font-size: 18pt; 
  text-align: center;
}

h3.title
{
  font-family: sans-serif; 
  font-size: 14pt;
  margin-top: 20px;
  margin-bottom: 0;
  padding-bottom: 0;
}

h4.title
{
  font-family: sans-serif; 
  font-size: 13pt; 
  margin-top: 20px;
  margin-bottom: 0;
  padding-bottom: 0;
}

caption
{
  font-family: sans-serif; 
  font-weight: bold;
}

/* Troubleshoot entry heading */
.troublehead
{
  font-family: sans-serif; 
  font-size: 12pt; 
  font-style: italic;
  font-weight: bold;
  margin-top: 0;
  margin-bottom: 0;
}

.guimenu
{
	font-weight: bold;
}

.guimenuitem
{
	font-weight: bold;
}

.guilabel
{
	font-weight: bold;
}

.guibutton
{
	font-weight: bold;
}

pre.programlisting {
  background: #E8E8E8;
}