/******************************************************************************/
/*  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;
}