html { font-family: Candara, Trebuchet MS, sans serif; }
/*html { font-family: Droid Sans, Trebuchet MS, sans serif; }*/
body { width: 1000px; background:url( "images/bg.gif" );  }
body.full { width: 100%; background:url( "images/bg.gif" );  }

#footer
{
	border-top: 1px solid white;
	background: url("t_monet.jpg") no-repeat;
	height:     100px;
}
p.footer
{
	margin-top: 10;
	margin-left:150;
}
p.tight { margin: 0px 0px 0px 0px; }

p,dd,dt,li,td,th,h1,h2,h3,h4,h5,legend,td,tr,th
{
	font-family:Candara,Trebuchet MS,Arial,Verdana;
}
pre                { margin-left: 40px; font-size: .9em; }
pre.tree           { margin-left: 40px; font-size: .9em; }
pre.black          { }
pre.black-noindent { margin-left: 0px; }
pre.code
{
	border:          1px solid #C0C0C0;
	background-color: #F0F0F0;
	font-family:      monospace;
	margin-left:      20px;
	overflow:         auto;
}
.quote { color: black; font-style: italic; margin-left: 40px; }
.bold  { font-weight: bold; }

#code
{
	font-family:   monospace;
	margin-left:   20px;
	margin-bottom: 20px;
}
td.monospace { font-family: monospace; }
.monospace { font-family: monospace; }
.monospacebold { font-family: monospace; font-weight: bold; }

.box
{
	background-color: #F0F0F0;
	border: 1px solid black;
	margin: 10px 5px 5px 5px
}
.boxed
{
	background-color: #F0F0F0;
	border: 1px solid black;
	margin: 10px 5px 5px 5px
}
p.boxed { margin: 10px 5px 10px 10px }

h1.title, h2.title, h3.title, h4.title, legend { color: darkgreen; margin-top: 0; margin-bottom:0; }
p { margin-top:0; }
table { margin-bottom:20; }
h1, h2, h3, h4, h5, h6 { color: darkgreen; margin-top:2em; margin-bottom:0; }
h3.first, h4.first { margin-top:0px; }
h4.bullet { margin-top:0; }
h5 { color: darkgreen; margin-top:2em; margin-bottom:0; }
/*tt, code { font-size: 1.05em; }*/
td, th { vertical-align:top; }
th { text-align:left; }
legend { font-weight:bold; }
ol,ul,dl { margin-bottom: 20px; }

li.right-arrow
{
	background:   url( images/right-arrow.png ) no-repeat left top;
	padding-left: 20px;
}
li.leaf
{
	background:   url( images/green-leaf.png ) no-repeat left top;
	padding-left: 20px;
}

.indent    { margin-left: 40px; }
.noindent  { margin-left: 0px; }
.deindent  { margin-left: -40px; }
.manindent { margin-left:40pt; }
.truncate, .truncated  { margin-bottom: 0px; }
.spaced    { margin-bottom: 20px; }
.manpage   { width:575px; }
.required  { font-weight: bold; }

ul.hyphen        { list-style-type:none; }
li.hyphen:before { content:" - "; }
p.biblio         { margin-left:1.5em; text-indent:-1.5em; }
p.image          { margin-left:40px; }
dd.toc           { font-size:smaller; }
a.toc            { text-decoration:none; }
a.toc:hover      { text-decoration:underline; }

ul.dashed { list-style-type: none; }
ul.dashed > li { text-indent: -5px; }
ul.dashed > li:before { text-indent: -5px; content: "-"; }

div.quote  { font-style: italic; margin-left: 40px; }
div.scroll { overflow-x: scroll; margin-bottom: 20px; }

.cartouche
{
	border:2px solid #6699CC;
	background-color:#F1F7FA;
	padding:10px;width:500px;
}
#crumbs  { position:absolute; top:0; left:750; font-size:10pt; }
#.error   { border-bottom:dotted 4px red; }
.error
{
  /*text-decoration: red wavy underline;
  text-decoration-skip-ink: none;*/
  background-image:
    linear-gradient( 45deg, transparent 65%, red 80%, transparent 90% ),
    linear-gradient( 135deg, transparent 5%, red 15%, transparent 25% ),
    linear-gradient( 135deg, transparent 45%, red 55%, transparent 65% ),
    linear-gradient( 45deg, transparent 25%, red 35%, transparent 50% );
  background-repeat:repeat-x;
  background-size: 8px 2px;
  background-position:0 95%;
}
#.warning { border-bottom:dotted 4px gold; }
.warning
{
  /*text-decoration: gold wavy underline;
  text-decoration-skip-ink: none;*/
  background-image:
    linear-gradient( 45deg, transparent 65%, gold 80%, transparent 90% ),
    linear-gradient( 135deg, transparent 5%, gold 15%, transparent 25% ),
    linear-gradient( 135deg, transparent 45%, gold 55%, transparent 65% ),
    linear-gradient( 45deg, transparent 25%, gold 35%, transparent 50% );
  background-repeat:repeat-x;
  background-size: 8px 2px;
  background-position:0 95%;
}


dt.subheading { margin-left: -15px; margin-top: 5px; font-weight: bold; }
dd.toc      { font-size:smaller;}
a.toc       { text-decoration:none;}
a.toc:hover { text-decoration:underline;}

a.fixed { font-size: 0.8em; text-decoration:none; }

.green-circle
{
    border-radius: 50%;
    width: 12px;
    height: 12px;
    padding: 1px;
    background: #70B484;
    border: 2px solid black;
    color: white;
	 font-weight: bold;
    text-align: center;
    font: monospace, sans-serif;
	 font-size: x-small;
}

.purple-circle
{
    border-radius: 50%;
    width: 12px;
    height: 12px;
    padding: 1px;
    background: #614FA4;
    border: 2px solid black;
    color: white;
	 font-weight: bold;
    text-align: center;
    font: monospace, sans-serif;
	 font-size: x-small;
}

.highlight   { background-color: #FFFF00; }

.plain       {                 font-style: normal; }
.italics     {                 font-style: italic; }
.italicsbold {                 font-style: italic; font-weight: bold; }
.bold        {                 font-weight: bold; }
.strike      {                 text-decoration: line-through; }
.prompt      { color: maroon;  font-weight: bold; }
.container-prompt { color: #006C00; font-weight: bold; }
.black       { color: black;   font-weight: normal; }
.blackbold   { color: black;   font-weight: bold; }
.dirblue     { color: #729FD5; font-weight: normal; }
.dirbluebold { color: #729FD5; font-weight: bold; }
.midnight    { color: midnightblue; font-weight: bold; }
.blue        { color: blue;    font-weight: normal; }
.bluebold    { color: blue;    font-weight: bold; }
.green       { color: green;   font-weight: normal; }
.greenbold   { color: green;   font-weight: bold; }
.purple      { color: #B12F96; font-weight: normal; }
.purplebold  { color: #B12F96; font-weight: bold; }
.pink        { color: hotpink; font-weight: bold; }
.cyan        { color: cyan;    font-weight: normal; }
.cyanbold    { color: cyan;    font-weight: bold; }
.darkturquoise{ color: darkturquoise;    font-weight: normal; }
.linkcyan    { color: cyan;    font-weight: normal; }
.remotecyan  { color: #0FB3DF; font-weight: bold; }
.linkgreen   { color: green;   font-weight: normal; }
.execgreen   { color: green;   font-weight: bold; }
.execred     { color: red;     font-weight: bold; }
.execblue    { color: blue;    font-weight: bold; }
.maroon      { color: maroon;  font-weight: normal; }
.maroonbold  { color: maroon;  font-weight: bold; }
.red         { color: red;     font-weight: normal; }
.redbold     { color: red;     font-weight: bold; }
.green       { color: green;   font-weight: normal; }
.greenbold   { color: green;   font-weight: bold; }
.yellow      { color: yellow;  font-weight: normal; }
.yellowbold  { color: yellow;  font-weight: bold; }
.builtin     { color: green;   font-weight: bold; }
.orange      { color: orange;  font-weight: normal; }
.orangebold  { color: orange;  font-weight: bold; }
.gold        { color: darkorange; font-weight: normal; }
.goldbold    { color: darkorange; font-weight: bold; }
.brown       { color: brown;   font-weight: normal; }
.brownbold   { color: brown;   font-weight: bold; }
.keyword     { color: brown;   font-weight: bold; }
.mocha       { color: #4E2F2F; font-weight: normal; }
.magenta     { color: magenta; font-weight: normal; }
.greyed      { color: grey;    font-weight: normal; }
.greyed2     { color: #A0A0A0; font-weight: normal; }
.grey        { color: #2E2E2E; font-weight: normal; }
.greylight   { color: #505050; font-weight: normal; }

.gityellow   { color: #C4A000; font-weight: bold; }
.gitokay     { color: white; font-weight: bold; background-color: #4E9A06; }
.gituntracked{ color: white; font-weight: bold; background-color: #C4A000; }
.gitmodified { color: white; font-weight: bold; background-color: #75507B; }
.gitcyan     { color: #1C999A; font-weight: bold; }
.gitred      { color: red; font-weight: bold; }
.gitgreen    { color: #4E9A06; font-weight: bold; }
.gitgreenbold{ color: #4E9A06; font-weight: bold; }
.nifiblue    { color: #728EA7; }
.nifibluebold{ color: #728EA7; font-weight: bold; }
.dockerblue    { color: #006699; }
.dockerbluebold{ color: #006699; font-weight: bold; }
.bg-red,
.backred     { color: black; font-weight: normal; background-color: red; }
.backgreen   { color: white; font-weight: bold; background-color: green; }
.bg-greyed   { color: grey; font-weight: bold; background-color: #E0E0E0; }

.skyblue     { color: skyblue; font-weight: bold; }


.bg-grey-1   { color: white; font-weight: normal; background-color: #E0E0E0; }
.bg-grey-2   { color: black; font-weight: normal; background-color: #E0E0E0; }
.bg-dark-grey-1{ color: white; font-weight: normal; background-color: grey; }
.bg-dark-grey-2{ color: black; font-weight: normal; background-color: grey; }
.bg-green-1  { color: white; font-weight: normal; background-color: #B5D998; }
.bg-green-2  { color: black; font-weight: normal; background-color: #B5D998; }
.bg-yellow-1 { color: white; font-weight: normal; background-color: #C4A000; }
.bg-yellow-2 { color: black; font-weight: normal; background-color: #C4A000; }

.highlight              { background-color: #FFFF00; }
.highlight-blue         { background-color: #87CEE7; }
.highlight-green        { background-color: #9CCE89; }
.highlight-orange       { background-color: #F29E75; }
.highlight-pastel-red,
.highlight-pastel-pink  { background-color: #FDDFDF; }
.highlight-pastel-yellow{ background-color: #FCF7DE; }
.highlight-pastel-green { background-color: #DEFDE0; }
.highlight-pastel-orange{ background-color: #FFD394; }
.highlight-pastel-blue  { background-color: #DEF3FD; }
.highlight-pastel-purple{ background-color: #F0DEFD; }
.highlight-pastel-grey  { background-color: #F0F0F0; }
.highlight-pastel-dkgrey{ background-color: #E0E0E0; }
.highlight-pastel-tan   { background-color: burlywood; }

.wavy-error
{
  /*text-decoration: red wavy underline;
  text-decoration-skip-ink: none;*/
  background-image:
    linear-gradient( 45deg, transparent 65%, red 80%, transparent 90% ),
    linear-gradient( 135deg, transparent 5%, red 15%, transparent 25% ),
    linear-gradient( 135deg, transparent 45%, red 55%, transparent 65% ),
    linear-gradient( 45deg, transparent 25%, red 35%, transparent 50% );
  background-repeat:repeat-x;
  background-size: 8px 2px;
  background-position:0 95%;
}