/******************************************************************************/

/*  ocaml-fileutils: files and filenames common operations                    */

/*                                                                            */

/*  Copyright (C) 2003-2014, Sylvain Le Gall                                  */

/*                                                                            */

/*  This library is free software; 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; either version 2.1 of the License, or (at   */

/*  your option) any later version, with the OCaml static compilation         */

/*  exception.                                                                */

/*                                                                            */

/*  This library 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 file         */

/*  COPYING for more details.                                                 */

/*                                                                            */

/*  You should have received a copy of the GNU Lesser General Public License  */

/*  along with this library; if not, write to the Free Software Foundation,   */

/*  Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA             */

/******************************************************************************/

/* General settings */

body 

{

  background: #E8F3F8;

}

#top

{

  margin-left: auto;

  margin-right: auto;

  width: 960px;

  margin-top: 10px;

  border-left:   solid 2px #A4BCC2;

  border-right:  solid 2px #A4BCC2;

  border-bottom: solid 2px #A4BCC2;

}

h1 { color: #555; font-size: xx-large;}

h2 { color: #552; font-size; large;}

h3 { color: #662; font-size; medium;}

#content h1 a { color: #555; font-size: xx-large;}

#content h2 a { color: #552; font-size; large;}

#content h3 a { color: #662; font-size; medium;}

/* Header */

#header

{

  clear: both;

  position: relative;

  height: 85px;

	background: #A4BCC2;

}

#header h1.logo

{

  position: relative;

  float: left;

  padding-top: 0px;

  padding-left: 15px;

}

#header h1.logo a 

{

  text-decoration: none;

}

#header h1.logo img

{

  border: none;

}

#header .subtitle

{

  color:#FFFFFF;

  float:left;

  font-size:16pt;

  font-weight:bold;

  margin-top:34px;

	margin-left:10px;

}

/* Menu */

#menu

{

  text-align: center;

  padding: 10px;

  background: #C2CBCE;

  border-top: solid 2px #A4BCC2;

  border-bottom: solid 2px #A4BCC2;

}

#menu a

{

  text-decoration: none;

  font-weight: bold;

  font-size: 110%;

  color: black;

  margin: 0;

  padding: 0;

}

#menu a:hover

{

  color: #81A8B8;

  border-bottom:1px dotted green;

}

#menu li

{

  display: inline;

  margin: 0;

  padding: 3em;

}

#menu ul

{

  list-style-type: none;

  margin: 0;

  padding: 0;

}

/* Content */

#content #header {

  display: none;

}

#content

{

  padding: 2em;

  padding-top: 0.5em;

  background: #DBE6EC;

}

#content hr

{

  color: grey;

  width: 90%;

}

#content a

{

  color: #67a76d;

  text-decoration: none;

  font-weight: bold;

}

#content a:hover

{

  text-decoration: underline;

}

#content code

{

  font-family: monospace;

  color: #1e6694;

}

#content pre

{

  border-left-style: double;

  border-left-color: #1e6694;

  padding-left: 1em;

}

#video

{

	text-align: center;

}

#download-latest 

{

  text-align: center;

}

#download-latest a 

{

  font-weight: bold;

  font-size: x-large;

  padding-left: 24px;

  background: url(download.png) no-repeat;

}

#news .subtitle

{

  font-style: italic;

  font-size: 80%;

}

/* Footer */

#footer {

  clear: both;

  position: relative;

  color: black;

  font-size: 70%;

  padding: 5px;

  background: #C2CBCE;

  border-top: solid 2px #A4BCC2;

}

#footer .copyright {

  position: relative;

  width: 33%;

}

#footer .lastmodified {

  position: relative;

  float: right;

  width: 33%;

  text-align: right;

}

#footer .badge {

  position: relative;

  float: right;

  width: 33%;

  text-align: center;

}

#footer .copyright a {

	text-decoration: none;

	color: black;

}