* {
	font-size: inherit;
	font-family: inherit;
}

@font-face {
  font-family: Helvetica Neue;
  src: url("Porcospino.eot");
  src: local("Helvetica Neue Light"), local("HelveticaNeue-Light"), url("Porcospino.woff") format("woff"), url("Porcospino.ttf") format("truetype"), url("Porcospino.svg#HelveticaNeue-Light") format("svg");
}


body {
    height: 100%;
	margin: 40px;
	background-color: #f3f1e5;

  font: 300 100.01%/1.5 "Helvetica Neue", Helvetica, "Arial Unicode MS", Arial, sans-serif; 

 	font-size: 16px;
  color:  	#333;
}


h1 {
	margin-top: 35px;
	font-size: 38px;
  padding:0;
}

h1.title {
	font-size: 52px;
  margin-bottom: 0;
}


h2 {
	margin-top: 35px;
	font-size: 28px;
  border-bottom: 1px solid #666;
}
h3 {
	margin-top: 35px;
	font-size: 20px;
  font-family: "HelveticaNeue-Light","Helvetica Neue Light","Helvetica Neue",Helvetica,Arial,sans-serif;
  font-weight: 200;
}

h4 {
	margin-top: 35px;
	font-size: 18px;
  font-family: "HelveticaNeue-Light","Helvetica Neue Light","Helvetica Neue",Helvetica,Arial,sans-serif;
  font-weight: 200;
}

code, pre, span.command {
	font-family:'andale mono','lucida console', monospace;
	font-size:1em;
}

table {
	border-collapse: collapse;
}

table th {
	background-color: #3E6B99;
	color: white;
	padding: 4px
}

table td {
	padding: 4px;
}


a { 
  color:#3E6B99; 
	font-weight:bold;
	text-decoration:none;
  font-family: 'Helvetica Neue',Helvetica,Arial,sans-serif;
  
}

a:visited { 
	color:#3E6B99;
}

a:hover { 
	color:#5184B9;
}


span.command {
	white-space:nowrap;
}

pre.programlisting {
	background-color: #FFFFDD;
	border: 1px solid #DDDD00;
	padding: 10px;
}


.authorgroup {
  font-size: 80%;
  margin-top: 24px;
    margin-left: 64px;
}

.authorgroup h3 {
  margin-bottom: 4px;
}

.author {
  margin: 0;
  margin-bottom: 4px;
 }

.affiliation {
  margin-top: 2px;
 }

.code, .screen {
  white-space: pre-line;
  margin: 12px;
  display: block;
  margin-right: 8px;
  margin-left: 8px;
  padding: 8px;
  width: 100%;
  
 }




.code, .screen, .note, .programlisting {
  border: 1px solid #FFFFFF;

  -moz-border-radius: 8px;
  -webkit-border-radius: 8px;
  -khtml-border-radius: 8px;
  border-radius: 8px;

 -moz-box-shadow: 3px 3px 5px #DFDFDF;
  -webkit-box-shadow: 3px 3px 5px #DFDFDF;
  -khtml-box-shadow: 3px 3px 5px #DFDFDF;
  -o-box-shadow: 3px 3px 5px #DFDFDF;
  box-shadow: 3px 3px 5px #DFDFDF;

  -moz-box-shadow: 2px 2px 4px #666;
  -webkit-box-shadow: 2px 2px 4px #666;
  box-shadow: 2px 2px 4px #666;

 }

.code {  background-color: #777777; }
.screen {  background-color: #fff8e3;  }
.note {  background-color: #fff8e3; margin-top: 24px; padding: 8px; padding-top: 0px; padding-bottom: 0px;}
.note p { margin-left: 16px; margin-top: 4px; }
.note h3 { margin-top: 8px; margin-bottom: 8px;}

.note .screen, .code { 
  width: auto;
}
.note .screen { 
  background-color: #fff7d3; 
 }

.prompt { 
-webkit-user-select:none;
-moz-user-select:-moz-none;
user-select: none;
 }

video 
{
  /*width: 400px; */
  height: 300px;

 -moz-box-shadow: 3px 3px 5px #444;
  -webkit-box-shadow: 3px 3px 5px #444;
  -khtml-box-shadow: 3px 3px 5px #444;
  -o-box-shadow: 3px 3px 5px #444;
  box-shadow: 3px 3px 5px #444;

  }

video.active
{ 
  position: fixed;
  margin-left: auto;
  margin-right: auto;
  top: 40px;
  left: 0;
  right: 0;
  bottom: 0;
    /*width: 90%; */
    height: 90%; 
  z-index: 7;
}

#videonav 
{ 
  position: fixed;
  top: 0;
  left: 0;
  display: none;
  z-index: 10;
}

#overlay 
{
position: fixed;
display: none;
opacity: 0.5;
  top: 0;
  left: 0;
background-color: black;
width: 100%; 
height: 100%; 
  z-index: 5;
 }


.set {
  margin-left: 160px;
  margin-right: 100px;
 }

h1,h2,h3,h4 {
  margin-left: -40px;
}

div.note h3 {
  margin-left: inherit;
}