#main-copy {
    width: 960px;
}

/* table */
table {
	margin: 10px;
}

code {
  color: purple;
}

em {
 color: green;
}

td, tr{ 
 	font-size: 13px;
}

code.unix {
  color: teal;
}

p.callout {
    border: solid thin gray;
    padding:5px;
    background-color: lightblue;
}

pre.output {
   color: blue;
   margin: 10px;
   padding: 5px;
   border:1px solid #999999;
}

pre.javadocs {
    color: #3F5FBF;
}

ul.nav {
    margin-left: 5px;
    margin-top: 5px;
}

nav[data-toggle="toc"] .nav > li > a:focus, nav[data-toggle="toc"] .nav > li > a:hover {
    padding-left: 10px;
}

/* lists */
ul, ol {
	padding: 2px 12px;
	margin-left: 18px;
}
li {
	padding: 6px;
}

/* for ordered lists inside of ordered lists */
ol ol {
   list-style-type: lower-alpha
}

.warning {
	 color: red;
}

pre.code {
   color: purple;
   margin: 10px;
   padding: 5px;
   border:1px solid #999999;
}

pre.output {
   color: blue;
   margin: 10px;
   padding: 5px;
   border:1px solid #999999;
}