@media print
{
   .non_printable
   {
      display: none;
   }
}

body
{
   font-family: verdana, helvetica, arial, sans-serif;
   font-size: 10pt;
   font-weight: normal;
   margin: 0px;
   padding: 0px;

   /* This is to force vertical scroll from the beginning to avoid horizontal "jumping" after the vertical scroll appears if not forced */
   overflow-y: scroll;
}

tbody
{
   font-family: verdana, helvetica, arial, arial, sans-serif;
   font-size: 10pt;
   font-weight: normal;
}

thead
{
   font-size: 10pt;
}

pre
{
   font-size: 10pt;
}

li
{
   margin-top: 7px;
}

td
{
   vertical-align: top;
}

a
{
   text-decoration: none;
   color: blue;
}

.small_font
{
   font-size: 8pt;
}

.p_centered
{
   text-align: center;
}


.page_header
{
   background-color: #04223A;
   color: white;
   padding: 5px;
}

.feature_section
{
   background-color: #04223A;
   color: white;
   padding: 5px;
}

.section_header
{
   font-weight: bold;
   border-bottom: 1px solid #04223A;
}

.indentedX05
{
   margin-left: 10px;
}

.indentedX1
{
   margin-left: 20px;
}

.indentedX2
{
   margin-left: 40px;
}

.div_links
{
   text-align: center;
   font-size: 10pt;
}

.img_hyperlink
{
   border: 0px;
}

.td_centered_vertical
{
   vertical-align: middle;
}

.td_centered_horizontal
{
   text-align: center;
}

.a_white_link
{
   color: #FFFFFF;
   text-decoration: none;
}

.source_code
{
   font-family: courier new;
}

.table_products
{
   border-left: 1px solid #04223A;
   border-right: 1px solid #04223A;
   border-top: 1px solid #04223A;
   border-bottom: 1px solid #04223A;
   border-collapse: collapse;
   margin-left: 20px;
}

.td_product_header
{
   border-bottom: 1px solid #04223A;
   padding-left: 8px;
   padding-right: 8px;
   vertical-align: middle;
   font-weight: bold;
}

.td_product
{
   border-bottom: 1px solid #04223A;
   padding-left: 8px;
   padding-right: 8px;
   vertical-align: middle;
}

.version_title
{
   color: #04223A;
   font-size: 21pt;
   font-weight: bold;
   text-align: center;
}

.version_subtitle
{
   color: #04223A;
   font-size: 14pt;
   font-weight: normal;
   text-align: center;
}

.download_version_title
{
   color: #04223A;
   font-size: 12pt;
   font-weight: bold;
   text-align: center;
}

.download_version_subtitle1
{
   color: #04223A;
   font-size: 9pt;
   font-weight: normal;
   text-align: center;
}

.download_version_subtitle2
{
   font-size: 10pt;
   font-weight: bold;
   text-align: center;
}

.trial_version
{
   font-size: 8pt;
   font-weight: bold;
}

.download_version_build_number_and_size
{
   font-size: 8pt;
}

.download_version_portable
{
   text-align: center;
   font-size: 8pt;
}

.a_version_title
{
   color: #04223A;
}

.img_shadow
{
   /* The inset shadow is to fill with shadow the bottom-right rounded corner of images that are windows screenshoots, 
    which otherwise would be white. For this to work, that corner needs to be trasparent */
   box-shadow: 3px 3px 3px #888888, inset -2px -2px #888888;
   border-width: 0;
}

.td_version_column
{
   width: 45%;
   background-color: #F8F8F8;
   border: 1px solid #C0C0C0;
/*   border-radius: 10px;
   -moz-border-radius: 10px;
*/
}

.div_version_section
{
   padding-left: 3px;
}

.red_style
{
   color: red;
}

.button
{
   background-color: #04223A;
/*   border-radius: 7px;
*/   border: none;
   color: white;
   padding: 7px 20px;
   text-align: center;
   text-decoration: none;
   display: inline-block;
   font-size: 16px;
   margin: 4px 2px;
   cursor: pointer;
}


.div_container
{
   background-color: #F8F8F8;
   height: 100%;
   display: flex;
   flex-flow: column;
}

.div_header
{
   background-color: #04223A;
   color: white;
   text-align: center;
   top: 0;
   left: 0;
   right: 0;
}

.div_content
{
   width: 1000px;
   margin-left: auto;
   margin-right: auto;
   background-color: white;
   padding-left: 10px;
   padding-right: 10px;
   padding-top: 10px;
   padding-bottom: 10px;
   border-style: solid;
   border-color: #A0A0A0;
   border-width: 1px;
   left: 0px;
   right: 0px;
   flex-grow: 1;
   flex-shrink: 1;
   flex-basis: auto;
}

.div_footer
{
   background-color: #04223A;
   color: white;
   text-align: center;
   bottom: 0;
   left: 0;
   right: 0;
}

.ul_navigation_bar
{
   background-color: yellow;
   align-content: center;
   text-align: center;
   list-style-type: none;
   margin: 0;
   padding: 0;
   overflow: hidden;
   background-color: #04223A;
   display: inline-block;
}

.li_navigation_bar
{
   float: left;
}

   .li_navigation_bar a
   {
      display: block;
      color: white;
      text-align: center;
      padding: 0px 10px 10px 10px;
      text-decoration: none;
   }

      .li_navigation_bar a:hover
      {
         background-color: white;
         color: #04223A;
      }