html {
   -ms-text-size-adjust: none;
   font-size: 16px;
}

body {
  font-family: Helvetica, Arial, sans-serif;
  margin: 15px 15px 15px 15px;
}

h1,h2,h3,h4
{
font-family: Helvetica, Arial, sans-serif; 
}

code {
    font-family: monospace;
    background: #F1F1FF;
}

p,li,address
{
font-family: Helvetica, Arial, sans-serif; 
}

table {
font-family: Helvetica, Arial, sans-serif;
}

/*
li,th,td
{
 font-size: 85%;
}
*/

li {
  margin: 3px 0;
}

ul {
   list-style-type: square;
}

ol:first-of-type {
  counter-reset: pubcounter 90 repcounter 25;
}

ol.pub {list-style: none; margin-left:4em; padding:0; }
ol.pub li { display: block; margin:0; padding:2pt; }
ol.pub li:before {content: "[" counter(pubcounter) "] ";
                  color: green;
                  width: 2.8em;
                  margin-left:-2.8em;
                  counter-increment: pubcounter -1;
                  text-align: left;
                  display: inline-block; }

ol.rep {list-style: none; margin-left:4em; padding:0; }
ol.rep li { display: block; margin:0; padding:2pt; }
ol.rep li:before {content: "[R" counter(repcounter) "] ";
                  color: green;
                  width: 3.3em;
                  margin-left:-3.3em;
                  counter-increment: repcounter -1;
                  text-align: left;
                  display: inline-block; }



h1,h2,h3,h4,hr
{
color:saddlebrown;
}

a:link     { color:saddlebrown }
a:visited  { color:saddlebrown }
a:active   { color:red }
a:hover    { color:red }

body
{
 background-color: #EFE7D6;
}

#footer
{
color: #797979;
font-size: 65%;
}

pre {
        border: 1px dashed #bbb;
        padding: 5px;
        background: #F1F1FF;
        overflow: auto;
        margin-left: 20px;
        margin-right: 20px;
}

a.btn {
	display: inline-block;
	color: #666;
	background-color: #eee;
	text-transform: uppercase;
	letter-spacing: 2px;
	font-size: 75%;
	padding: 10px 30px;
	border-radius: 5px;
	-moz-border-radius: 5px;
	-webkit-border-radius: 5px;
	border: 1px solid rgba(0,0,0,0.3);
	border-bottom-width: 3px;
}

	a.btn:hover {
		background-color: #e3e3e3;
		border-color: rgba(0,0,0,0.5);
	}
	
	a.btn:active {
		background-color: #CCC;
		border-color: rgba(0,0,0,0.9);
	}

/* blue button */

a.btn.btn-blue {
	background-color: #699DB6;
	border-color: rgba(0,0,0,0.3);
	text-shadow: 0 1px 0 rgba(0,0,0,0.5);
	color: #FFF;
}

	a.btn.btn-blue:hover {
		background-color: #4F87A2;
		border-color: rgba(0,0,0,0.5);
	}
	
	a.btn.btn-blue:active {
		background-color: #3C677B;
		border-color: rgba(0,0,0,0.9);
	}

/* red button */

a.btn.btn-red {
	background-color: #E48681;
	border-color: rgba(0,0,0,0.3);
	text-shadow: 0 1px 0 rgba(0,0,0,0.5);
	color: #FFF;
}

	a.btn.btn-red:hover {
		background-color: #DA4F49;
		border-color: rgba(0,0,0,0.5);
	}
	
	a.btn.btn-red:active {
		background-color: #B32C24;
		border-color: rgba(0,0,0,0.9);
	}

div.highlight {
        border: 1px dashed #bbb;
        padding: 5px;
        background: white;
        overflow: auto;
        margin-left: 20px;
        margin-right: 20px;
}