/*
  tools.css -- other useful styles
  ©2005 Warpspace IT <http://www.warpspace.net/>
*/

/* -- class rfloat_box -- */
div.rfloat_box	  {
		    float: right;
		    border: thin inset;  /* embedded in the canvas */
		    padding: 1ex;
                    margin: 0 0 1em 1em;
		  }
div.rfloat_box h1 { font-size: smaller; }
div.rfloat_box h3 { margin: 0 0 0.5ex; color: #26840D; }
div.rfloat_box ul 
{
  padding-left: 2em; 
  margin-bottom: 0;             /* warning: no follow-on text! */
}

/* -- class section -- */
div.section { }
div.section .update-date { float: right; font-size: x-small; color: black; border-top: thin dashed; border-right: thin dashed; padding: 0.5ex; }
div.section .update-date:before { content: "last updated on: " }