/**************************************************************************/
/*                                                                        */
/*  This file is part of WP plug-in of Frama-C.                           */
/*                                                                        */
/*  Copyright (C) 2007-2015                                               */
/*    CEA (Commissariat a l'energie atomique et aux energies              */
/*         alternatives)                                                  */
/*                                                                        */
/*  you can redistribute it and/or modify it under the terms of the GNU   */
/*  Lesser General Public License as published by the Free Software       */
/*  Foundation, version 2.1.                                              */
/*                                                                        */
/*  It is distributed in the hope that it will be useful,                 */
/*  but WITHOUT ANY WARRANTY; without even the implied warranty of        */
/*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         */
/*  GNU Lesser General Public License for more details.                   */
/*                                                                        */
/*  See the GNU Lesser General Public License version 2.1                 */
/*  for more details (enclosed in the file licenses/LGPLv2.1).            */
/*                                                                        */
/**************************************************************************/

* { margin: 0; padding: 0 }

body {
    color: #222;
    font-family: "Verdana", sans-serif;
    font-size: 11px;
    width: 18cm;
    margin-left: 2.5cm;
    margin-top:  0.5cm;
    margin-bottom: 1cm;
    padding:     4mm 18mm 4mm 28mm;
    border: thin dotted gray;
    background: #EEEEEE
}

h1 {
    width: 18cm;
    padding: 2mm 10mm 2mm 10mm;
    position: relative;
    left: -1cm;
    margin-top: 3mm;
    margin-bottom: 3mm;
    border: thin solid black;
    background: lightgray;
    font-size: 20px;
    font-family: "Times", serif;
    font-weight: bold;
    text-align: left;
    color: black
}

h2 {
    width: 18cm;
    margin-top: 2mm;
    margin-bottom: 2mm;
    border-bottom: thin solid gray;
    color: darkgreen
}

h3 {
    width: 15cm;
    margin-left:   4mm;
    margin-top:    4mm;
    margin-bottom: 2mm;
    border-bottom: thin solid gray;
    color: darkgreen
}

h4,h5,h6, div.h7, div.h8, div.h9 {
    margin-left:   4mm;
    margin-top:    4mm;    
    margin-bottom: 1mm;
    font-size: 10px;
    font-style: italic;
    font-weight: bold;
    color: darkgreen   
}

hr { border: 1pt solid darkgreen; margin-top: 4mm; margin-bottom: 4mm }

a:visited { color: maroon; text-decoration: none }
a:link    { color: maroon; text-decoration: none }
a:hover   { background-color: lightgray; color: darkgreen }
a:active  { background-color: lightgray; color: firebrick }

.navbar { 
    margin-bottom: 4mm ;
    font-size: 10px
}

.keyword  { font-weight : bold; color: darkgoldenrod }
.keywordsign { color : #C04600 }
.superscript { font-size: 7px }
.subscript { font-size: 7px }
.warning { color: firebrick ; font-style: italic; margin-right:1ex }
.info { 
    padding: 1mm 1mm 1mm 1em;
    margin-left: 1em;
    margin-right: 3em;
    border-left: darkgreen 1px solid;
}
td .info { border-left: none }
.param_info { margin-top: 4px; margin-left : 3em; margin-right : 3em }
.typetable { border-style : hidden }
.indextable { 
    margin-top: 2mm ;
    padding: 2mm 6mm 2mm 4mm ;
    border-style : hidden ; 
    border-top: darkgreen thin solid ; 
    border-bottom: darkgreen thin solid 
}
.paramstable { border-style : hidden ; padding: 5pt 5pt }
/* body { background-color : White } */
tr { font-size: 11px }
td.typefieldcomment { font-family: serif; color: darkgreen }
pre { color : #263F71 ; font-size: 11px; font-family: "Everson Mono", monospace; margin-top: 1mm }
.code     { color : #465F91 ; font-size: 11px; font-family: "Everson Mono", monospace }
.comment  { color : darkgreen; font-family: serif }
.constructor { color : darkblue }
.type { color: #5C6585 }
.string { color: maroon }
div.sig_block {margin-left: 2em}
li { margin-left: 2em }
p { margin-top: 2mm ; margin-bottom: 2mm }
ul { margin-top: 2mm ; margin-bottom: 2mm }