.filename {
	font-family: courier, monospace;
}

.command {
    font-weight: bold;
}

.guilabel {text-decoration: underline;font-style:italic }

.prompt {
    font-weight: bold;
    text-decoration: underline;
    color: green;

    // Allow copy-paste on commands w/o selection the prompt
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none
}

p .userinput { background-color: #F0F0F0;}
table .userinput {
    background-color: transparent;
}
table.informaltable {
    margin-left: 5em;
    margin-right: 5em;
    width: calc(100% - 10em);
}

.note {
	border: solid;
	border-width: 0.15em;
	border-color: #EE4040;
	border-radius: 1.5em;

	background-color: #FFEAEA;

	margin-left: 3em;
	margin-right: 3em;
	width: calc(100% - 8em);
        padding-left: 1em;
        padding-right: 1em;
	padding-bottom:1em
}

code { margin: 0; padding: 0}

pre {
 white-space: pre-wrap;       /* css-3 */
 white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
 white-space: -pre-wrap;      /* Opera 4-6 */
 white-space: -o-pre-wrap;    /* Opera 7 */
 word-wrap: break-word;       /* Internet Explorer 5.5+ */
}

pre.programlisting {
    border:solid;
    background-color: #D0E3FF;
    border-color:#BBB;
    border-width:0.1em;
    border-radius: 0.5em;

//    border: solid green;
   margin: 0;
   margin-left: 0.5em;

   padding: 1em;
   width: calc(100% - 4em);
}

pre.screen {
	background-color: #F0F0F0;
	padding: 6px;
}

.computeroutput {
    background-color: #F0F0F0;
    font-family: courier, monospace;
}

.application {font-family: Courier New; font-style: italic;}

tr { margin: 0.2em; padding: 0.2em; }
 
.variablelist {
//	background-color: #F0F0F0;
	padding: 6px;
}

.variablelist tr { margin: 0.2em;padding: 0.2em;}

.variablelist td { vertical-align:top; padding-top: 0.3em;padding-bottom:0.3em;}

table td { vertical-align:top; padding: 0.5em;}

/* Save some space */
table td p { padding: 0; margin: 0}

/* Save space for term list */
table td .variablelist {padding: 0; margin: 0}

table td .variablelist table {padding: 0; margin: 0}

table td .variablelist table tr {padding: 0; margin: 0}

table td .variablelist table tr td {padding: 0; margin: 0} 

/* End term list stuff */

table {border-collapse: collapse}
table.table > tbody > tr:nth-child(odd) > td { background-color: #E0E0E0; margin:0  }
table.informaltable > tbody > tr:nth-child(odd) > td { background-color: #E0E0E0; margin:0  }
.qandaset  tr:nth-child(4n+1) > td { background-color: #E0E0E0; margin:0  }
.qandaset  tr:nth-child(4n+2) > td { background-color: #E0E0E0; margin:0  }


//.qandaset td { background-color: #E0E0E0; margin:0  }
//.qandaset table {border-collapse: separate}

.toc {
	background-color: #F0F0F0;
	padding: 6px;
}

.term { font-weight: bold;
	padding-right: 2em;
        }

.equation { margin: 0.2em; padding: 0.2em; }

.equation {  text-align:center; }

.vector { font-weight: bold }

td > p { margin: 0; padding:0;}

p + p { margin-top: 0.8em; }

div.example { 
              border: solid; 
              border-width: 0.15em;
	      border-radius: 1.5em;
	      border-color: #4040CC;
              background-color: #E0F0FF;
	      margin-left: 3em;
	      margin-right: 3em;
	      width: calc(100% - 8em);
              padding-left: 1em;
              padding-right: 1em;
	      padding-bottom:1em
}
