body                  {background-color:#d0d9e3;font-family:Verdana,Arial,Sans-Serif;}
h1                    {font-size:19pt;}
h2                    {font-size:15pt;}
h3                    {font-size:12pt;}

div#wrap              {margin:auto;width:95%;background-color:#fff;padding:1em;border:5px solid #ccc;}

div#header            {background-color:#e33729;color:#fff;padding:1em;margin-bottom:.5em;margin-top:2.5em;}
div#header h1         {margin:0;padding:0;}
div#header h2         {margin:0;padding:0;}


div#nav               {background-color:#333;color:#fff;width:100%;text-align:center;margin-bottom:.5em;float:left;}
div#nav ul            {margin:0;padding:0;list-style:none;}
div#nav ul li         {display:block;position:relative;float:left;}
div#nav li ul         {display:none;}
div#nav ul li a       {display:block;text-decoration:none;border-top:1px solid #ffffff;padding: 5px 15px 5px 15px;margin-left:1px;white-space:nowrap;background-color:#333;color:#eee;}
div#nav ul li a:hover {color:#eee;background-color:#555;}
div#nav li:hover ul   {display: block;position: absolute;}
div#nav li:hover li   {float: none;}
div#nav li a          {padding:5px;text-decoration:none;color:#eee;width:6em;border-right:1px solid #ccc;}
div#nav li:hover a    {color:#eee;background-color:#555;}
div#nav li:hover li a {width:16em;}
div#nav li:hover li a:hover {color:#eee;background-color:#777;}





div#content           {padding:2em 1em;}
div#content h2        {border-bottom:1px solid #aaa;margin-bottom:.5em;}
div#content img.fancy {border:1px solid #ddd;padding:.5em;}
div#content img.left  {float:left;margin-right:1em;}
div#content img.right {float:right;margin-left:1em;}
div#content table     {font-size:100%;}
div#content a         {color : #24c; text-decoration : none; }
div#content a:hover   {text-decoration:underline; }

div#footer            {text-align:center;margin-top:.5em;}
div#footer a          {color:#000;}

div#padding               {background-color:#333;color:#eee;float:right;width:100%;margin-bottom:.5em;margin:0;padding:0;}
div#padding a            {display:inline;margin:0;padding:0;margin-right:.5em;padding:5px;text-decoration:none;color:#eee;float:right;}


.coqdoc a.idref:visited {color: #416DFF; text-decoration: none;}
.coqdoc a.idref:link    {color: #416DFF; text-decoration: none;}
.coqdoc a.idref:hover   {text-decoration: none;}
.coqdoc a.idref:active  {text-decoration: none;}

.coqdoc a.modref:visited {color: #416DFF; text-decoration: none;}
.coqdoc a.modref:link    {color: #416DFF; text-decoration: none;}
.coqdoc a.modref:hover   {text-decoration: none;}
.coqdoc a.modref:active  {text-decoration: none;}

.coqdoc .id {display: inline;}
.coqdoc .id[type="constructor"]  {color: rgb(60%,0%,0%);}
.coqdoc .id[type="var"]          {color: rgb(40%,0%,40%);}
.coqdoc .id[type="variable"]     {color: rgb(40%,0%,40%);}
.coqdoc .id[type="definition"]   {color: rgb(0%,40%,0%);}
.coqdoc .id[type="abbreviation"] {color: rgb(0%,40%,0%);}
.coqdoc .id[type="lemma"]        {color: rgb(0%,40%,0%);}
.coqdoc .id[type="instance"]     {color: rgb(0%,40%,0%);}
.coqdoc .id[type="projection"]   {color: rgb(0%,40%,0%);}
.coqdoc .id[type="method"]       {color: rgb(0%,40%,0%);}
.coqdoc .id[type="inductive"]    {color: rgb(0%,0%,80%);}
.coqdoc .id[type="record"]       {color: rgb(0%,0%,80%);}
.coqdoc .id[type="class"]        {color: rgb(0%,0%,80%);}
.coqdoc .id[type="keyword"]      {color : #cf1d1d;}

.coqdoc h1 {font-size: 110%;}
.coqdoc h2 {font-size: 100%;}
.coqdoc h3 {font-size: 100%;}


.why3doc a:visited {color : #416DFF; text-decoration : none; }
.why3doc a:link {color : #416DFF; text-decoration : none;}
.why3doc a:hover {color : Red; text-decoration : none; background-color: #5FFF88}
.why3doc a:active {color : Red; text-decoration : underline; }
.why3doc .comment { color : #990000 }
.why3doc .keyword1 { color : purple }
.why3doc .keyword2 { color : green }
.why3doc .superscript { font-size : large }
.why3doc .subscript { font-size : large }
.why3doc .warning { color : Red ; font-weight : bold }
.why3doc .info { margin-left : 3em; margin-right : 3em }
.why3doc .code { color : #465F91 ; }
.why3doc h1 { font-size : 20pt ; border: 1px solid #000000; margin-top: 10px; margin-bottom: 10px;text-align: center; background-color: #90BDFF ;padding: 10px; }
.why3doc h2 { font-size : 18pt ; border: 1px solid #000000; margin-top: 8px; margin-bottom: 8px;text-align: left; background-color: #90DDFF ;padding: 8px; }
.why3doc h3 { font-size : 16pt ; border: 1px solid #000000; margin-top: 6px; margin-bottom: 6px;text-align: left; background-color: #90EDFF ;padding: 6px; }
.why3doc h4 { font-size : 14pt ; border: 1px solid #000000; margin-top: 4px; margin-bottom: 4px;text-align: left; background-color: #90FDFF ;padding: 4px; }
.why3doc h5 { font-size : 12pt ; border: 1px solid #000000; margin-top: 2px; margin-bottom: 2px;text-align: left; background-color: #90BDFF ; padding: 2px; }
.why3doc h6 { font-size : 10pt ; border: 1px solid #000000; margin-top: 0px; margin-bottom: 0px;text-align: left; background-color: #90BDFF ; padding: 0px; }
.why3doc .typetable { border-style : hidden }
.why3doc .indextable { border-style : hidden }
.why3doc .paramstable { border-style : hidden ; padding: 5pt 5pt}
.why3doc body { background-color : White }
.why3doc tr { background-color : White }
.why3doc td.typefieldcomment { background-color : #FFFFFF }
.why3doc pre { margin-top: 1px ; margin-bottom: 2px; }
.why3doc div.sig_block {margin-left: 2em}