div.small{
    font-size: 25px;
}

div.definition{
    border-radius: 5px;
    background-color:#b0c4de;
    text-align:left;
    padding:5px;
    box-shadow: 1px 1px 12px #555;
}

div.code{
    font-size:85%;
    font-family: monospace;
    background: linear-gradient(to bottom , #dddddd , white);
    border-radius: 5px;
    text-align:left;
    padding:5px;
    box-shadow: 1px 1px 12px #555;
}

span.code{
    font-family: monospace;
    font-size:85%;
}

.comment{
    color:#10a43e;
    font-style: italic;
}

h2{
    font-size:110%;
    text-decoration: underline;
}

h3{
    font-size:100%;
    font-style:italic;
    font-weight: normal;
}

div.note{
    border-radius: 5px;
    background-color:#dea0a0;
    text-align:left;
    padding:5px;
    box-shadow: 1px 1px 12px #555;
}

a:hover{
    background-color:white;
    box-shadow: 1px 1px 3px #555;
}

a.button{
    text-shadow: 0px -1px 0px #56a2b1;
    color: #ffffff;
    background-color: #74C0CF;
    background-image: linear-gradient(to bottom, #92deed, #56a2b1);
    border-color: #74C0CF #56a2b1 #56a2b1 #74C0CF;
    border-color: rgba(0, 0, 0, 0.25) rgba(0, 0, 0, 0.35) rgba(0, 0, 0, 0.35) rgba(0, 0, 0, 0.25);
    padding: 1px 2px 3px 2px;
}

a.citation{
    font-size:65%;
}

a.button:hover{
    box-shadow: 1px 1px 12px #555;
}

a.button:active{
    background-color: #56a2b1;
    background-image: linear-gradient(to bottom, #56a2b1, #92deed);
}

a.action{
    color: #ffffff;
    background-color: #ff7153;
    background-image: linear-gradient(to bottom, #ff7153, #e13517);
    border-color: #ff7153 #e13517 #e13517 #ff7153;
    border-color: rgba(0, 0, 0, 0.25) rgba(0, 0, 0, 0.35) rgba(0, 0, 0, 0.35) rgba(0, 0, 0, 0.25);
    padding: 1px 2px 3px 2px;
}

a.action:hover{
    transition-duration: 250ms;
    text-shadow: 0px -1px 0px #56a2b1;
    box-shadow: 1px 1px 12px #555;
}

a.action:active{
    background-color: #e13517;
    background-image: linear-gradient(to bottom, #e13517, #ff7153);
}

textarea.console{
  margin: 2px; 
  width: 789px;
  background-color:black;
  color: #0D0;
}

img{
    background-color: black;
    box-shadow: 1px 1px 3px #555;
}

img.logo{
    background-color: rgba(0,0,0,0);
    box-shadow: 0px 0px 0px #555;
}

div.citation{
    font-size:16px;
    padding: 0px 0px 5px 0px;
}

span.citation-source{
    font-weight: bold;
}

span.citation-title{
    font-style: italic;
}

span.flit{
    color:#751e1e;
}

span.tlit{
    color:#1e751e;
}

/*left empty*/
span.sstep {

}

/*left empty*/
span.cite{

}