/*
A Framework for Certified Self-Stabilization
PADEC Coq Library 
http://www-verimag.imag.fr/~altisen/PADEC/
Feb 2016

Online Browsing - Self-Extracted Documentation
  - css style
*/

/* base font-size corresponds to 10px and is adapted to rem unit */
html {
    font-size: 62.5%;
}
body {
    background-color: #fff;
    color: #044;
    font-family: "Lucida Grande", Verdanna, sans-serif;
    font-size: 1.2em; /* equiv 14px */
    line-height: 1.5; /* adapt to your design */
    margin-right:200px;
}

h1 {
    font-size: 2.8571em; /* equiv 26px */
    font-weight: bold;
    line-height: 1.6154em;
    margin: .8077em 0 0 0;
}
h2 {
    font-size: 1.7143em; /* equiv 24px */
    font-weight: bold;
    line-height: 1.5em;
    margin: .875em 0 0 0;
}
h3 {
    font-size: 1.2014em; /* equiv 22px */
    font-weight: bold;
    line-height: 1.409em;
    margin: .9545em 0 0 0;
}
h4 {
    font-size: 1.4286em; /* equiv 20px */
    font-weight: normal;
    line-height: 1.05em;
    margin:  1.05em 0 0 0;
}

/* soft reset */
html, body, textarea, figure, label {
    margin: 0;
    padding: 0;
}
ul, ol {
    padding-left: 2em;
}

/* avoid top margins on first content element */
p:first-child, ul:first-child, ol:first-child,
dl:first-child, blockquote:first-child, pre:first-child,
h1:first-child, h2:first-child, h3:first-child,
h4:first-child {
    margin-top: 0;
}

/* avoid margins on nested elements */
li p, li ul, li ol {
    margin-top: 0;
    margin-bottom: 0;
}

/* HTML5 tags */
article, aside, details, figcaption, figure, footer, header, hgroup, nav, section {
    display: block;
}

/* max values */
img, table, td, blockquote { max-width: 100%; }

div, textarea, table, td, th {
    word-wrap: break-word;
    -webkit-hyphens: auto;
    -moz-hyphens: auto;
    -ms-hyphens: auto;
    -o-hyphens: auto;
    hyphens: auto;
}

/* pictures */
img {
    width: auto;
    height: auto;
    vertical-align: middle;
}
a img { border: 0; }

/* links */
a:link {color:#003366; font-weight: bold; text-decoration: none;} /* unvisited link */
a:visited {color:#006600;} /* visited link */
a:hover {background:#E2C5FF;}   /* mouse over link */
a:active {color:#0000FF;}  /* selected link*/



/* title */
div.title { 
    height: 50px; 
    margin: 0; 
    padding: 0;
    clear: left; 
    color: white;

    background-color: gray;
    padding: 0.85em 0.5em 0.6em 0.5em; /* T R B L */
    /*font-family: Verdana;*/
    font-size: 2.0571em;
    border-radius: 10px;
    border: 30px solid #469066;
    border-style: ridge;
    text-align: center;
    font-weight: bold;
    font-style: oblique;
}

/* header */
div.header
{    
    font-size: 1.8em;
    font-style: oblique;
    float: left; 
    position: fixed; 
    width: 180px; 
    left: 0px;
    top: 00px; 
    background-color: gray;
    color: white;
    padding: 0;
    height: 155px;
    text-align: center;
    line-height: 30px;
}

div.header a
{
    display: block;
    text-decoration: none;
    color: white;
/*    background-color: gray;*/
    height: 115px;
    padding-top: 40px;
    padding-bottom: 0;
}

div.header a:hover { background-color: gray; }

div.header img{ height: 90px; }

/** NAVIGATION SIDE BAR (MAIN / secondary) ***********************/
.sidebar b, .secondary-sidebar b {
    margin: 1px;
    text-transform: uppercase
}

div.sidebar, div.secondary-sidebar
{
    float: left; 
    position: fixed; 
    width: 180px; 
    left: 0px;
}
div.sidebar {
    top: 170px; 
    background-color: #FFD700;
}

div.secondary-sidebar{
    top: 320px; 
    background-color: #33CC33; 
}

div.sidebar ul, div.secondary-sidebar ul { list-style-type:none; }

div.sidebar ul a, div.secondary-sidebar ul a
{
    display: block;
    text-decoration: none;
    color: white;
    background-color: purple;
    padding: 0.2em 0.6em;
    border-right: 0px solid white;
    width: 125px;
    text-align: right;
}

div.sidebar ul li { }

div.sidebar ul a:hover, div.secondary-sidebar ul a:hover {
    background-color: #ff3300; 
    font-weight:bold;
}

/***** CONTENT OF THE PAGE **********/
div.content {
    margin-left: 190px;
/*    padding: .21em;*/
/*    border-left: 1px solid gray;*/
    background-color: #EEEEEE;
    opacity: 0.9
}

div.content ul, p
{ 
   padding: 0em .5em .6em 2em; /* T R B L */
}

/***** CONTENT OF THE MAIN PAGE **********/
div.main-page {
    margin-left: 100px;
    margin-right: 100px;
    background-color: #EEEEEE;
    opacity: 0.9;
}

div.main-page ul, p
{ 
   padding: 1em 1em .6em 4em; /* T R B L */
}

div.main-content {
    font-size: 0.9em;
}

/******* FOOTER *****************/
div.footer
{
    background-color:#CC66FF;
    clear:both;
    text-align:center
}

div.footer a:hover {font-style: oblique;background:#CC66FF;}   /* mouse over link */


/********* SECTIONS (MAIN PAGE) ***************/
h1.main-page
{
    font-size: 1.2143em; /* equiv 24px */
    font-weight: bold;

    line-height: 1.75em;
    margin: .875em 0 0 0;

    text-decoration: none;
    text-align: center;
    text-transform: capitalize;
    font-style: oblique;

    color: #FFFFFF;
    background-color: #98bf21;
    text-align: center;
}

h1.main-page a:link, h1.main-page a:visited
{
    text-decoration: none;    
    color: #FFFFFF;
    display: block;
    background-color: #98bf21;
    text-align: center;
} 

h1.main-page a:hover, h1.main-page a:active
{
    background-color: #7A991A;
}

/********* SECTIONS (LIST PAGE) ***************/
h1.secondary-page
{
    font-size: 1.7143em; /* equiv 24px */
    font-weight: bold;

    line-height: 1.75em;
    margin: 0;
    padding: 0.5em;

    text-decoration: none;
    text-align: left;
    /*text-transform: capitalize;*/
    /*font-style: oblique;*/

    color: #FFFFFF;
    background-color: #6B0024;
}


/*****************************/
ul.deco
{
/*    outline:green dotted thick;*/
    list-style-type: none;
    padding: 0px;
    margin: 0px;
}
ul.deco li
{
    background-image: url("images/bullet-flower.png");
    background-repeat: no-repeat;
    background-position: 0px 0px;
    padding-left: 40px;
    line-height:280%;
}


/*****************************************/
/* COQ **********************************/


#main{ display: block;
       padding: 10px;
       font-family: sans-serif;
       font-size: 100%;
       line-height: 100% }

#main  h1 { line-height: 95% } /* allow for multi-line headers */

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

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

#main .keyword { color : #cf1d1d }
#main { color: black }

.section { background-color: #6A2B6E;
           color: white;
           padding-top: 13px; 
           padding-bottom: 13px; 
           padding-left: .3em;
           margin-top: 5px;
           margin-bottom: 5px;
           margin-left: -.3em;
           font-size : 175%;
 }

h2.section { background-color: #946497;
/*             padding-left: 3px; */
             padding-top: 10px; 
             padding-bottom: 8px; 
             font-size : 130%;
             margin-left: -.4em;
}

h3.section { background-color: #B082B2
/*             padding-left: 3px; */
             padding-top: 7px; 
             padding-bottom: 7px; 
             font-size : 115%;
             margin-left: -8px;
}

h4.section { 
                   background-color: #BDA6BE;
                   padding-left: 1px; 
                   padding-top: 1px; 
                   padding-bottom: 1px; 
                   font-size : 100%;
                   font-style : bold;
                   margin-left: -8px;
}

#main .doc { margin: 0px;
             font-family: sans-serif;
             font-size: 100%;
	     line-height: 125%;
             max-width: 40em;
             color: black;
	     padding: 10px;
             border-style: plain;
}

.doc {
    background-color: #A7D2BA; 
    padding-left: .5em;
}

.inlinecode, tt { 
    display: inline;
    font-size: 125%;
    color: #666666;
    font-family: monospace;
    background-color: #C8EEC3;
} 

.doc .inlinecode, .doc tt { 
    display: inline;
    font-size: 120%; 
    color: rgb(30%,30%,70%);
    font-family: monospace } 

.doc .inlinecode .id { 
    color: rgb(30%,30%,70%); 
} 

.inlinecodenm { 
    display: inline;
    color: #444444;
}

.doc .code { 
    display: inline;
    font-size: 120%; 
    color: rgb(30%,30%,70%); 
    font-family: monospace } 

.comment { 
    display: inline;
    font-family: monospace;
    color: rgb(50%,50%,80%); 
} 

.code { 
    display: block;
/*  padding-left: 15px; */
    font-size: 110%; 
    font-family: monospace;
 } 

table.infrule {
  border: 0px;
  margin-left: 50px;
  margin-top: 10px;
  margin-bottom: 10px;
}

td.infrule {
    font-family: monospace;
    text-align: center;
/*    color: rgb(35%,35%,70%);  */
    padding: 0px;
    line-height: 100%;
}

tr.infrulemiddle hr {
    margin: 1px 0 1px 0;
}

.infrulenamecol {
    color: rgb(60%,60%,60%); 
    font-size: 80%;
    padding-left: 1em;
    padding-bottom: 0.1em
}

/* Pied de page */

#footer { font-size: 65%;
          font-family: sans-serif; }

/* Identifiers: <span class="id" title="...">) */

.id { display: inline; }

.id[title="constructor"] {
    color: rgb(60%,0%,0%);
}

.id[title="var"] {
    color: rgb(40%,0%,40%);
}

.id[title="variable"] {
    color: rgb(40%,0%,40%);
}

.id[title="definition"] {
    color: rgb(0%,40%,0%);
}

.id[title="abbreviation"] {
    color: rgb(0%,40%,0%);
}

.id[title="lemma"] {
    color: rgb(0%,40%,0%);
}

.id[title="instance"] {
    color: rgb(0%,40%,0%);
}

.id[title="projection"] {
    color: rgb(0%,40%,0%);
}

.id[title="method"] {
    color: rgb(0%,40%,0%);
}

.id[title="inductive"] {
    color: rgb(0%,0%,80%);
}

.id[title="record"] {
    color: rgb(0%,0%,80%);
}

.id[title="class"] {
    color: rgb(0%,0%,80%);
}

.id[title="keyword"] {
 color : #cf1d1d;
/*     color: black; */
}

/* Deprecated rules using the 'type' attribute of <span> (not xhtml valid) */

.id[type="constructor"] { 
    color: rgb(60%,0%,0%);
}

.id[type="var"] { 
    color: rgb(40%,0%,40%);
}

.id[type="variable"] { 
    color: rgb(40%,0%,40%);
}

.id[type="definition"] { 
    color: rgb(0%,40%,0%);
}

.id[type="abbreviation"] { 
    color: rgb(0%,40%,0%);
}

.id[type="lemma"] { 
    color: rgb(0%,40%,0%);
}

.id[type="instance"] { 
    color: rgb(0%,40%,0%);
}

.id[type="projection"] { 
    color: rgb(0%,40%,0%);
}

.id[type="method"] { 
    color: rgb(0%,40%,0%);
}

.id[type="inductive"] { 
    color: rgb(0%,0%,80%);
}

.id[type="record"] { 
    color: rgb(0%,0%,80%);
}

.id[type="class"] { 
    color: rgb(0%,0%,80%);
}

.id[type="keyword"] { 
 color : #cf1d1d;
/*     color: black; */
}

.inlinecode .id {
    color: rgb(0%,0%,0%);
}


/* TOC */

#toc h2 {
    padding: 10px;
    background-color: rgb(60%,60%,100%);
}

#toc li {
    padding-bottom: 8px;
}

/* Index */

#index {
    margin: 0;
    padding: 0;
    width: 100%;
}

#index #frontispiece {
    margin: 1em auto;
    padding: 1em;
    width: 60%;
}

.booktitle { font-size : 140%  }
.authors { font-size : 90%;
	         line-height: 115%;  }
.moreauthors { font-size : 60%  }

#index #entrance {
    text-align: center;
}

#index #entrance .spacer {
    margin: 0 30px 0 30px;
}

#index #footer {
    position: absolute;
    bottom: 0;
    text-align: bottom;
}

.paragraph {
    height: 0.75em;
}

ul.doclist {
    margin-top: 0em;
    margin-bottom: 0em;
}