body                  {background-color:#ddd;font-family:Georgia,sans-serif;font-size:80%;}
h1                    {font-size:19pt;}
h2                    {font-size:15pt; background-color:#356aa0;color:#fff;}

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

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


div#nav               {background-color:#555;color:#eee;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:#555;color:#eee;}
div#nav ul li a:hover {color:#eee;background-color:#356aa0;}
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:7em;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 #ddd;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#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%;}