body {
  width: 800px;
  margin-left: auto;
  margin-right: auto;
  font-family: Verdana, Helvetica, Arial, Sans-Serif;
  font-size: 0.9em;
}
div.wide {
  width: 1024px;
}
img {
  max-width: 800px;
}
#header {
  border-bottom: solid 1px black;
}
#header img {
  width: 140px;
  margin-right: 20px;
}
#header span {
  font-size: 12pt;
  padding-bottom: 10px;
  font-style: italic;
}
#header a {
  text-decoration: none;
  color: black;
}
.contents {
  border:solid 1px black;
  padding: 10px;
}

/* section headings */
h1 {
  font-size: 16pt;
  text-decoration: underline;
}
h2 {
  font-size: 14pt;
}
h3 {
  font-size: 14pt;
}

/* PHIL formatting */
ul.phil {
  font-family: monospace;
  list-style: none;
  padding-left: 0px;
}
ul.phil ul {
  list-style: none;
}
li.phil-param {
  clear:both;
  padding: 5px;
}
.phil-scope > span {
  font-weight: bold;
}
.phil-words {
  color: red;
}
.phil-help {
  color: blue;
  width: 500px !important;
  float: right;
}

/* Drop-down menu */
#nav {
  background: #052a47;
  list-style: none;
  margin: 0px;
  clear: both;
  width: 100%;
  margin-bottom: 10px;
  padding: 0px;
  float: left;
}
#nav a {
  color: white;
  display: block;
  padding: 6px;
  text-decoration: none;
}
#nav a:hover {
  color: #ccc;
}
#nav > li {
  float: left;
  margin: 0px;
  position: relative;
}
#nav > li > ul {
  display: none;
  position: absolute;
  left: 0px;
  width: 240px;
  padding: 0px;
  list-style: none;
  background: #9ca9b2;
}
#nav > li:hover > ul {
  display: block;
}


/* styling for buttons on index page */
.indexcard{
    margin-top: 0;
    margin-bottom: 1.5rem;
    position: relative;
    background: #fff;
    box-shadow: 12px 15px 20px 0px rgba(46,61,73,0.15);
    border-radius: 4px;
    transition: all 0.3s ease;
}
.indexcard-topimage_header{
  padding: 20px;
}
a.indexcard:hover, .indexcard-topimage:hover {
    box-shadow: 2px 4px 8px 0px rgba(46,61,73,0.2);
}
.indexcard-topimage a {
    width: 100%;
    height: 100%;
    display: block;
    border-bottom: none;
    text-decoration: none;
    color: #525c65;
    transition: color 0.3s ease;
}
.indexcard-topimage_title {
    padding: 10px;
    font-weight: bold;
    position: relative;
    font-size: 14pt;
}


/* definitions for overview images hover */
.area {
    background:#fff;
    display:block;
    opacity:0;
    position:absolute;
}
#area1 {
    left:6px; top:47px; width:146px; height:66px;
}
#area2 {
    left:200px; top:4px; width:164px; height:65px;
}
#area3 {
    left:200px; top:93px; width:164px; height:68px;
}
#area4 {
    left:421px; top:47px; width:162px; height:68px;
}
#area5 {
    left:421px; top:160px; width:162px; height:67px;
}
#area6 {
    left:409px; top:292px; width:184px; height:43px;
}
#area7 {
    left:409px;top:356px;width:184px;height:44px;
}
#area8 {
    left:197px;  top:324px;  width:156px;  height:45px;
}
#area9 {
    left:653px; top:324px; width:142px; height:45px;
}

#area1cryo {
    left:100px; top:19px; width:142px; height:65px;
}
#area2cryo {
    left:93px; top:123px; width:156px; height:65px;
}
#area3cryo {
    left:107px; top:229px; width:130px; height:65px;
}
#area4cryo {
    left:280px; top:209px; width:179px; height:44px;
}
#area5cryo {
    left:280px; top:271px; width:179px; height:44px;
}
#area6cryo {
    left:510px; top:209px; width:178px; height:44px;
}
#area7cryo {
    left:510px; top:271px; width:178px; height:44px;
}
#area8cryo {
    left:510px; top:391px; width:178px; height:44px;
}

#area1:hover, #area2:hover, #area3:hover, #area4:hover,
#area5:hover, #area6:hover, #area7:hover, #area8:hover,
#area9:hover {
    opacity:0.4;
}

#area1cryo:hover, #area2cryo:hover, #area3cryo:hover, #area4cryo:hover,
#area5cryo:hover, #area6cryo:hover, #area7cryo:hover, #area8cryo:hover {
    opacity:0.4;
}



/* to be removed */
.tutorial_td {
  padding-left: 15px;
  padding-right: 15px;
}

.tutorial_btnimg {
  width: 120px;
  height: 112px;
}

.tutorial_text {
  padding-top: 40px;
  padding-bottom: 40px;
  font-size: 16px;
  line-height: 1.5;
  max-width: 800px;
  margin: 0 auto;
}

.tutorial_container{
  max-width: 800px;
  margin: 0 auto;
  padding-bottom: 40px;
  }

.tutorial_accordion {
    color: #444;
    cursor: pointer;
    padding: 5px;
    margin: 50 auto;
    width: 100%;
    border: none;
    text-align: center;
    vertical-align: middle;
    outline: none;
    font-size: 20px;
    font-weight: bold;
    transition: 0.4s;
}

.tutorial_color1 {
  background-color: #87CEFA;
}
.tutorial_color2 {
  background-color: #FFA07A;
}
.tutorial_color3 {
  background-color: #90EE90;
}
.tutorial_color4 {
  background-color: #D8BFD8;
}

.active.tutorial_color1, .accordion.tutorial_color1:hover {
    background-color: #00BFFF;
}
.active.tutorial_color2, .accordion.tutorial_color2:hover {
    background-color: #E9967A;
}
.active.tutorial_color3, .accordion.tutorial_color3:hover {
    background-color: #66CDAA;
}
.active.tutorial_color4, .accordion.tutorial_color4:hover {
    background-color: #DB7093;
}

.tutorial_panel {
    padding: 0 18px;
    margin-left: 0px;
    background-color:#f6f6f6;
    max-height: 0;
    overflow: hidden;
    transition: max-height 0.2s ease-out;
}