body {
  color:#000000;
  background-color:#ffffff;
  background-image:url('../9.jpg');
  background-repeat:no-repeat;
  background-position:center;
  background-attachment:fixed;
  font-size:16;
  font-family:"Trebuchet MS","Helvetica neue",Helvetica,Arial,Verdana,sans-serif;
}
img {
  border-width:2px;
  border-color:#333333;
  margin:5px;
}
img.inline_image {
  opacity:0.7;
  width:600px;
  border-style:inset;
  border-width:2px;
  border-color:grey;
  margin-left:50px;
  margin-right:50px;
}
.overallpage {
  margin-left:auto;
  margin-right:auto;
  width:850px
}
.menu {
  display:inline-block;
  top:0;
  left:0;
  width:250px;
  margin-left:20px
  vertical-align:top;
  font-size:15px;
}
.leftmenuitem_l1 {
  margin-left:-10px;
  margin-bottom:10px;
  list-style-type:none;
}
.leftmenuitem_l2 {
  margin-left:-5px;
  font-size:13px;
  list-style-type:none;
}
.headerbar {
  text-align:left;
}
.logobox {
  vertical-align:bottom;
  display:inline-block;
  width:250px;
}
.topmenu {
  text-align:center;
  vertical-align:bottom;
  display:inline-block;  
}
.topmenuitem {
  padding:10px;
  font-size:15;
  margin-left:auto;
  margin-right:auto;
  font-weight:bold;
  text-align:center;
  vertical-align:middle;
  display:inline-block;
}
.titlebox {
  text-align:center;
  font-size:30;
  font-weight:bold;
  margin-bottom:20px;
}
.pagebody {
  display:inline-block;
  vertical-align:top;
  margin-bottom:40px;
}
.contentwrapper {
  display:inline-block;
  position:relative;
  width:700px;
  vertical-align:top;
  padding:0px;
  margin-left:75px;
  margin-right:75px;
}
.content {
  opacity:1;
  text-align:justify;
}
.code {
  font-family: Courier, Monospace;
}
.codeblock {
  font-family: Courier, Monospace;
  margin: 10px 20px;
  padding: 10px;
  background-color: #cccccc;
  white-space:pre-wrap;
  font-size:11px
}
.todo {
  margin: 10px 20px;
  color: red;
  font-weight: bold;
  text-align: center;
}

dt.api{
  font-family: Courier, Monospace;
  font-weight: bold;
  font-size: small;
}

.warning {
  color: red;
  font-weight: bold;
}
td.contact_university {
  padding-right:20px;
  padding-top:5px;
  padding-bottom:5px;
  text-align:left;
  font-size:18;
}

.doc_chain_link {
  width:100%;
  text-align:center;
  font-size:12;
  margin-bottom:10px;
  margin-top:10px;
}
.doc_chain_link_prev {
  margin-right:10px;
}
.doc_chain_link_next {
  margin-left:10px;
}


.footer {
  width:600px;
  font-size:9;
  margin-left:auto;
  margin-right:auto;
  text-align:center;
}.bluetabs{
border-bottom: 1px solid gray;
}

.bluetabs ul{
padding: 3px 0;
margin-left: 0;
margin-top: 1px;
margin-bottom: 0;
font: bold 12px Verdana;
list-style-type: none;
text-align: left; /*set to left, center, or right to align the menu as desired*/
}

.bluetabs li{
display: inline;
margin: 0;
}

.bluetabs li a{
text-decoration: none;
padding: 3px 7px;
margin-right: 3px;
border: 1px solid #778;
color: #2d2b2b;
background: white url(../bluetab.gif) top left repeat-x; /*THEME CHANGE HERE*/
}

.bluetabs li a:visited{
color: #2d2b2b;
}

.bluetabs li a:hover{
text-decoration: underline;
color: #2d2b2b;
}

.bluetabs li.selected{
}

.bluetabs li.selected a{ /*selected main tab style */
background-image: url(../bluetabactive.gif); /*THEME CHANGE HERE*/
border-bottom-color: white;
}

.bluetabs li.selected a:hover{ /*selected main tab style */
text-decoration: none;
}

/* ######### Style for Drop Down Menu ######### */

.dropmenudiv_b{
position:absolute;
top: 0;
border: 1px solid #918d8d; /*THEME CHANGE HERE*/
border-width: 0 1px;
font:normal 12px Verdana;
line-height:18px;
z-index:100;
background-color: white;
width: 200px;
visibility: hidden;
}


.dropmenudiv_b a{
width: auto;
display: block;
text-indent: 5px;
border: 0 solid #918d8d; /*THEME CHANGE HERE*/
border-bottom-width: 1px;
padding: 2px 0;
text-decoration: none;
color: black;
}

* html .dropmenudiv_b a{ /*IE only hack*/
width: 100%;
}

.dropmenudiv_b a:hover{ /*THEME CHANGE HERE*/
background-color: #edf3f3;
}

.axis {
  font: 10pt sans-serif;
}

.axis path,
.axis line {
  fill: none;
  stroke: #000;
}

rect:hover {
  stroke: #888;
  stroke-width: 1pt;
}


.barrep {
  fill: #a6cee3;
  margin: 20px 50px 0 0!important;
}
.barrep label {
  background: #a6cee3!important;
}

.bardbx {
  fill: #1f78b4;
  margin: 20px 50px 0 0!important;
}
.bardbx label {
  background: #1f78b4!important;
}
.bardbx label:after  {
  content: ''!important;
  position: absolute!important;
  width: 9px!important;
  height: 5px!important;
  background: transparent!important;
  top: 5px!important;
  left: 5px!important;
  border: 3px solid #fff!important;
  border-top: none!important;
  border-right: none!important;

  -webkit-transform: rotate(-45deg)!important;
  -moz-transform: rotate(-45deg)!important;
  -o-transform: rotate(-45deg)!important;
  -ms-transform: rotate(-45deg)!important;
  transform: rotate(-45deg)!important;
}

.barspy {
  fill: #b2df8a;
  margin: 20px 50px 0 0!important;
}
.barspy label {
  background: #b2df8a!important;
}

.barscala {
  fill: #33a02c;
}
.barscala label {
  background: #33a02c!important;
}

.barcpp {
  fill: #ff7f00;
}
.barcpp label {
  background: #ff7f00!important;
}

.barivm {
  fill: #fb9a99;
  margin: 20px 50px 0 0!important;
}
.barivm label {
  background: #fb9a99!important;
}

.barprcpp {
  fill: #080789;
}
.barprcpp label {
  background: #080789!important;
}
.barprcpp label:after  {
  content: ''!important;
  position: absolute!important;
  width: 9px!important;
  height: 5px!important;
  background: transparent!important;
  top: 5px!important;
  left: 5px!important;
  border: 3px solid #fff!important;
  border-top: none!important;
  border-right: none!important;

  -webkit-transform: rotate(-45deg)!important;
  -moz-transform: rotate(-45deg)!important;
  -o-transform: rotate(-45deg)!important;
  -ms-transform: rotate(-45deg)!important;
  transform: rotate(-45deg)!important;
}

.barprscala {
  fill: #890000;
}
.barprscala label {
  background: #890000!important;
}
.barprscala label:after  {
  content: ''!important;
  position: absolute!important;
  width: 9px!important;
  height: 5px!important;
  background: transparent!important;
  top: 5px!important;
  left: 5px!important;
  border: 3px solid #fff!important;
  border-top: none!important;
  border-right: none!important;

  -webkit-transform: rotate(-45deg)!important;
  -moz-transform: rotate(-45deg)!important;
  -o-transform: rotate(-45deg)!important;
  -ms-transform: rotate(-45deg)!important;
  transform: rotate(-45deg)!important;
}

.magic_chkbox {
  width: 25px;
  margin: 20px 80px 0 0;
  position: relative;
  display: inline;
}

.magic_chkbox input {
  display: none;
}
.magic_chkbox label {
  cursor: pointer;
  position: relative;
  top: 0;
  left: 0;
  width: 20px;
  height: 20px;
  background: #eee;
  border:1px solid #ddd;
}

.magic_chkbox label:after {
  opacity: 0;
  content: '';
  position: absolute;
  width: 9px;
  height: 5px;
  background: transparent;
  top: 5px;
  left: 5px;
  border: 3px solid #333;
  border-top: none;
  border-right: none;

  -webkit-transform: rotate(-45deg);
  -moz-transform: rotate(-45deg);
  -o-transform: rotate(-45deg);
  -ms-transform: rotate(-45deg);
  transform: rotate(-45deg);
}

.magic_chkbox label:hover::after {
  opacity: 0.5;
}

.magic_chkbox input[type=checkbox]:checked + label:after {
  opacity: 1;
}

.datatooltip {
  border: 1pt solid #888;
  background-color: #ddd;
  padding: 2pt;
}

@import url(http://fonts.googleapis.com/css?family=Open+Sans);
.transition-ano, .linux-bit li a:hover {
  -webkit-transition: all 0.5s ease-in-out;
  -moz-transition: all 0.5s ease-in-out;
  -o-transition: all 0.5s ease-in-out;
  transition: all 0.5s ease-in-out;
}

/************************************\
Setup
\************************************/

body {
  font-family: 'Open Sans', sans-serif;
}

.container {
  width: 850px;
  margin: 4em auto;
  padding: 0px 50px 0px 45px!important;
  position: relative;
}

.container a:hover {
  text-decoration: none;
  cursor: pointer;
}
a:hover {
  text-decoration: none;
  cursor: pointer;
}

/************************************\
INTERESTING STYLES
\************************************/
.btn-wrapper-shop,
.btn-wrapper-download {
  height: 82px;
  float: left;
}

.download-btns {
  min-width: 450px;
  background-color: #5bb75b;
  color: #FFFFFF!important;
  text-align: center;
  /*line-height: 82px;*/
  font-size: 1.4em;
  cursor: pointer;
}

.mac-btn,
.windows-btn,
.linux-btn {
  height: 82px;
  width: 150px;
  float: left;
  font-size: 1.6em;
  color: #FFFFFF!important;
  padding-top: 20px;
}

.download-text,
.linux-bit {
  line-height: 82px;
}

.mac-btn a,
.windows-btn a,
.linux-btn a {
  line-height: 0;
}

.mac-btn {
  background-color: #95a5a6;
}

.windows-btn {
  background-color: #3498db;
}

.linux-btn {
  background-color: #DD4814;
}

.linux-btn-wrapper {
  display: block;
  width: 150px;
  height: 82px;
  float: left;
}

.store-btn,
.download-text {
  height: 82px;
  display: block;
}
.store-btn a,
.download-text a {
  float: left;
  background-color: #555555;
  color: #FFFFFF!important;
  padding: 0 1.3em;
  font-size: 1.5em;
  text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);
  line-height: 82px;
  text-decoration: none;
}

.store-btn {
  margin-left: 1em;
  min-width: 2em;
}

#shop-info,
#download-info {
  color: #FFFFFF!important;
  font-size: 0.8em;
  text-align: center;
}

#shop-info {
  margin-left: 1.2em;
}

.linux-bit {
  position: absolute;
  width: 150px;
  left: 0px;
  top: -82px;
  z-index: 9;
}
.linux-bit li {
  list-style: none;
  text-align: center;
  display: inline-block;
  float: right;
  display: table;
  width: 135px;
}
.linux-bit li:first-child {
  border-right: 1px solid #343434;
}
.linux-bit li a {
  background-color: #1a1a1a;
  color: #b3b3b3;
  display: block;
  font-weight: lighter;
  font-size: 1em;
  height: 68px;
  display: table-cell;
  vertical-align: middle;
  text-decoration: none;
  letter-spacing: 1px;
}
.linux-bit li a:hover {
  background-color: #343434;
  color: #FFFFFF!important;
}

.fa {
  line-height: unset!important;
}

.sbutton {
  border: 0 none;
  border-radius: 2px 2px 2px 2px;
  color: #FFFFFF;
  cursor: pointer;
  display: inline-block;
  font-family: Arial,sans-serif;
  font-size: 12px;
  font-weight: bold;
  line-height: 20px;
  margin-bottom: 0;
  margin-top: 10px;
  padding: 7px 10px;
  text-transform: none;
  transition: all 0.3s ease 0s;
  -moz-transition: all 0.3s ease 0s;
  -webkit-transition: all 0.3s ease 0s;
  /*min-width: 16.795%;*/
  text-align: center; /* DELETE WHEN WIDTH AUTO */
}

.sbutton.red {
  background: none repeat scroll 0 0 #E0645C;
  color: #FFFFFF;
}
.sbutton.red:hover {
  background: none repeat scroll 0 0 #999999;
  color: #FFFFFF;
}

.sbutton.dark {
  background: none repeat scroll 0 0 #444444;
  color: #FFFFFF;
}
.sbutton.dark:hover {
  background: none repeat scroll 0 0 #2DB6CF;
  color: #FFFFFF;
}

.sbutton.light {
  background: none repeat scroll 0 0 #999999;
  color: #FFFFFF;
}
.sbutton.light:hover {
  background: none repeat scroll 0 0 #444444;
  color: #FFFFFF;
}

.sbutton.green {
  background: none repeat scroll 0 0 #46b98a;
  color: #FFFFFF;
}
.sbutton.green:hover {
  background: none repeat scroll 0 0 #444444;
  color: #FFFFFF;
}

.sbutton.blue {
  background: none repeat scroll 0 0 #2DB6CF;
  color: #FFFFFF;
}
.sbutton.blue:hover {
  background: none repeat scroll 0 0 #444444;
  color: #FFFFFF;
}