/* $Id: local.css,v 1.1 2005/07/21 16:36:59 connolly Exp $ */
/* In-progress working draft artifacts - to be removed eventually */
  .issue	{ color: #ff3f3f }
ul.issue	{}

 .todo		{ font-size: 80% ; color: #444 ; }
p.todo		{}


/* Misc WD stuff */
span.cvs-id     {color: gray; font-size:80%}


/* Tables */
table, td, th	{ border-style: solid;
                  border-width: 1px;
                  border-color: black;
                  border-bottom-color: gray;
                  border-right-color: gray; }

th.major	{ background-color: #005a9c;
                  color: white; }
.subHeading	{ text-align: left;
                  background-color: #CCCCCC; }
th, td		{ padding: 3px; }
td		{ font-size: 85%; }
th a:link	{ text-decoration: none; }
th a:hover	{ background-color:#FFFF99;
                  text-decoration: underline; }


/* Notes */
 .note		{ margin-left: 2.5em; margin-right: 4ex ; font-size: 85% ; font-style: italic ; }
p.note		{}       /* Makes it appear in FrontPage style list */


/* Definitions */
.defn		{ /*border: double 1px #888888; *//* Buggy */
                  border: 2px solid #888888;
                  padding: 1ex 2ex 0.5ex 2ex ; /* top, right, bottom, left */
                  margin: 1em 6em 1em 2em ; 
                  page-break-inside: avoid ;
                  background-color: #F0F8F8 ; }
div.defn p	{ margin-top: 1ex ; margin-bottom: 1.5ex ;}
div.defn ul	{ margin-top: 1ex ; margin-bottom: 1.5ex ;}
@media print	{ .defn { margin: 1em 1em 1em 1em ; } }
span.definedTerm	{font-weight: bold;}


/* Examples */
pre		 { font-family: monospace; 
                   margin: 1em 4em 1em 2.5em ; /* Top Right Bottom Left */
                   padding: 1ex;
                   font-size: 88% ;
                   page-break-inside: avoid ; }
pre.data	{ border: 1px solid #88AA88;
                  background-color: #E8F0E8;
                  margin: 1em 4em 1em 0em ; }
/* Example Queries */
.query          { background-color:#f7f8ff;
                  font-family: monospace; }
pre.query	{ border:1px solid #8888aa;
                  margin: 1em 4em 1em 0em ; }
/* Example Results */
pre.result	{ border: 1px solid  #888888 ;
                  background-color: #F0F0F0; 
                  margin: 1em 4em 1em 0em ; }
div.result	{ font-family: monospace;
                  background-color: #F0F0F0; 
                  margin:  1em 4em 1em 0em ;
                  padding: 1ex ;
                  font-size: 88% ;
                  border: 1px solid  #888888 ; }
table.result	{ border-collapse: collapse; }
table.result td	{ border-width: thin ;
                  border-color : black ; 
                  font-family: monospace ; font-size: 88% ;
                  empty-cells: show;
                  padding-left: 1ex ; padding-right: 1ex ;
                  vertical-align:top;
                  text-align:center ; } 
/*  spacing: 0 ;*/
table.result th	{ border-width: thin ;
                  font-family: monospace ; font-size: 88% ;
                  border-color: black ;
                  empty-cells: show;
                  padding-left: 1ex ; padding-right: 1ex ;
                  vertical-align:top;
                  text-align:center; } 


/* Grammar Mark-up */
.operator	{ color: #3f3f5f;
                  font-size: 88%;
                  text-transform: uppercase; }

/* Tuned to cope with different browsers behaviours */
div.grammarTable table	{ border-style: solid ;
			  border-width: 0px ;
			  border-color: #AAA ;
			  border-spacing: 0px ; 
			  border-collapse: collapse ; }

div.grammarTable table * { border-left-width: 0px ;
			   border-right-width: 0px ;
			   border-color: #AAA ; } 


/****
   Neater would be to turn borders off in the grammar table and use:

div.grammarTable table *  { border-width: 0px ; }
div.grammarTable table * tr   { border-top-style: solid ;
			  border-top-width: 1px ;
			  border-top-color: #AAA ; } 

div.grammarTable * tr:first-child   { border-top-width: 0px ; }

But it does seem not work in all browsers.
****/


.grammar	{ text-align: left ;
                  vertical-align: top ; }
.token		{ color: #3f3f5f; }
table.FAndOTable .token		{ color: #00c; }
table.FAndOTable .token:visited		{ color: #a0c; }
.gRuleHead	{ font-style: italic ;
                  font-family: monospace ; }
.gRuleBody	{ font-family: monospace ; }
.gRuleLabel	{ font-family: monospace ; }

code		{ font-family: monospace; font-size: 100%; }

/* Table of Contents */
.toc		{ text-indent: 0; }
DIV.toc UL UL, DIV.toc OL OL {margin-left: 0}
DIV.toc UL UL UL, DIV.toc OL OL OL {margin-left: 1em}
DIV.toc UL UL UL UL, DIV.toc OL OL OL OL {margin-left: 0}
LI.tocline1	{ font-weight: bold}
LI.tocline2	{ font-weight: normal}
LI.tocline4	{ font-style: italic}
/* The border in the following rule crashes NN4 on fonts.html :-(
DIV.subtoc	{ padding: 1em; border: solid black thin; margin: 1em 0;
                  background: #ddd} */
DIV.toc, UL.index, DT { text-align: left; }


/* References to the Rdf Data Model */
span.rdfDM	{ color: #11d; }


/* Casting table */
table.casting	{ font-size: x-small; }

.castY	{ background-color: #7FFF7F;
                  color: black; }

.castN	{ background-color: #FF7F7F;
                  color: black; }

.castM	{ background-color: white;
                  color: black; }

span.cancast:hover { background-color: #ffa;
                     color: black; }