/* Wikibox 399: shared by all  home page */

/* 'home.css' */


/*

   This css is specific to Ocsigen and projects home pages.

*/

/***********/
/* Content */
/***********/

section#home > header h1 {
  display: none;
}

section#home span.spacer40 {
    display: inline-block;
    width: 40px;
}

#content section#home > header {
  margin-bottom: 40px;
}


#content section#home a[href^=http\:\/\/]::after,
#content section#home a[href^=https\:\/\/]::after {
 content: "";
 padding-left: 0px;
}

#content > section#home > header h2,
#content > div.wikibox > div.boxcontent > section#home > header h2
 {
  font-family: boldtitlefont;
  font-weight: normal;
  font-size: 20px;
  color: #666;
  margin: 10px 0;
  background-color: transparent;
  padding-left: 0;
}

#content > section#home > header h2::before,
#content > div.wikibox > div.boxcontent > section#home > header h2::before {
  position: relative;
  display: none;
}


/************/
/* Projects */
/************/

/* Hide outline header */
#project-boxes > header,
#project-boxes article > header h1 {
  display: none;

}

#project-boxes article.genproject > header img {
  width: 80px;
}
#content #project-boxes article.genproject > header h1 {
  display: block;
  position: absolute;
  background-color: transparent;
  color: #33bbff;
  font-size: 30px;
  top: -10px;
  left: 10px;
}
#project-boxes article.genproject > p {
  padding-top: 20px;
}

#project-boxes article {

  position: relative;

  display: inline-block;
  vertical-align: top;

  width: 280px;
  height: 120px;

  padding: 10px;
  margin: 5px 3px;

  border: 1px solid #e9e9e9;
  border-radius: 8px;

  box-shadow: 0 0 20px 0 white inset, 1px 1px 1px 0px #bbb;

  background-color: #dde0e6; /* fallback color if gradients are not supported */
  background-image: -webkit-linear-gradient(bottom, #dde0e6, #ffffff);
  background-image:    -moz-linear-gradient(bottom, #dde0e6, #ffffff);
  background-image:     -ms-linear-gradient(bottom, #dde0e6, #ffffff);
  background-image:      -o-linear-gradient(bottom, #dde0e6, #ffffff);
  background-image:         linear-gradient(bottom, #dde0e6, #ffffff);

}

#project-boxes article header p,
#project-boxes article footer p {
  margin: 0;
  padding: 0;
}

#project-boxes article footer {

  position: absolute;
  top: 0;
  right: -1px;

  font-size: 11px;

  border-top-right-radius: 8px;
  border-bottom-left-radius: 8px;

  background-color: #0283c7;
  box-shadow: -1px -1px 1px 1px #015b8a inset;

}

#project-boxes article footer p {

  display: inline-block;

  border-style: none;
  color: white;

  width: 86px;
  height: 25px;
  margin: 0;
  padding: 9px 0 0 3px;

}

#project-boxes article#server-box footer {
  background-color: #d02526;
  box-shadow: -1px -1px 1px 1px #ab1f22 inset;
}

#project-boxes article#eliom-box footer {
  background-color: #88bf25;
  box-shadow: -1px -1px 1px 1px #729f20 inset;
}

#project-boxes article#lwt-box footer {
  background-color: #e06a08;
  box-shadow: -1px -1px 1px 1px #ba590a inset;
}

#project-boxes article#js_of_ocaml-box footer {
  background-color: #912f84;
  box-shadow: -1px -1px 1px 1px #782670 inset;
}

#project-boxes article#others-box {
  height: 20px;
  width: 593px;
}

#project-boxes article#others-box p {
  margin: 0;
  padding: 0;
  display: inline-block;
  border-bottom-style: none;
  font-family: titlefont;
  font-weight: normal;
  font-size: 16px;
  color: #0CA9DC;
}

#project-boxes article#others-box p::before {
  display: inline-block;
  content: url('/resources/icons/large_bullet-ocsigen.png');
  vertical-align: middle;
  padding: 0 10px 0 0;
}


#project-boxes article#overview-box {
  width: 575px;
  text-align: right;
  font-family: titlefont;
  padding: 5px 15px 15px 15px;
  margin-bottom: 40px;

  background-color: #dde0e6; /* fallback color if gradients are not supported */
  background-repeat: no-repeat;
  background-image: url('/ocsigen-part.png'), -webkit-linear-gradient(bottom, #dde0e6, #ffffff);
  background-image: url('/ocsigen-part.png'),    -moz-linear-gradient(bottom, #dde0e6, #ffffff);
  background-image: url('/ocsigen-part.png'),     -ms-linear-gradient(bottom, #dde0e6, #ffffff);
  background-image: url('/ocsigen-part.png'),      -o-linear-gradient(bottom, #dde0e6, #ffffff);
  background-image: url('/ocsigen-part.png'),         linear-gradient(bottom, #dde0e6, #ffffff);
}

#project-boxes article#overview-box span.tour {
  font-size: 37px;
  color: #33bbff;
}

#project-boxes article#download-box header, 
#project-boxes article#doc-box header {
  float: left;
  margin-top: 10px;
}

#project-boxes article#download-box > p, 
#project-boxes article#doc-box > p {
  padding-left: 100px;
  margin-top: 25px;
  margin-bottom: 5px;
}

#project-boxes article#download-box > ul, 
#project-boxes article#doc-box > ul {
  margin-left: 120px;
  padding-left: 0;
  margin-top: 0;
}

/***********************/
/* Common informations */
/***********************/

/* Hide outline header */
#misc-info > header {
  display: none;
}

#misc-info > article {
  margin: 40px 0;
}

#home > #misc-info > article header h1 {
  font-family: boldtitlefont;
  font-weight: normal;
  font-size: 23px;
  color: #666;
  margin: 20px 0;
  background-color: transparent;
  padding-left: 0;
}

#misc-info article:not(:last-child):after {
  position: relative;
  display: block;

  top: 10px;
  right: -17px;
  height: 18px;
  width: 100%;

  background-image:
    -webkit-linear-gradient(91deg, rgba(234, 237, 244, 1),
			    rgba(234, 237, 244, 0) 10px);
  background-image:
    -moz-linear-gradient(91deg, rgba(234, 237, 244, 1),
			 rgba(234, 237, 244, 0) 10px);
  background-image:
    -ms-linear-gradient(91deg, rgba(234, 237, 244, 1),
			rgba(234, 237, 244, 0) 10px);
  background-image:
    -o-linear-gradient(91deg, rgba(234, 237, 244, 1),
		       rgba(234, 237, 244, 0) 10px);
  background-image:
    linear-gradient(-1deg, rgba(234, 237, 244, 1),
		    rgba(234, 237, 244, 0) 10px);

  border-bottom: 1px solid #eaedf4;
  content: "";
}

#misc-info article a.moreinfo {
  border-style: none;
  font-family: boldtitlefont;
  font-weight: normal;
}

#misc-info article .moreinfo:before {
  content: url('/resources/icons/bullet-ocsigen.png');
  padding: 0 5px 0 0;
}

#misc-info article#users div {
  -moz-column-count:3;
  -webkit-column-count:3;
  column-count:3;
  width: 521px;
}

#misc-info article#users ul li {
  padding: 3px 0;
  list-style-image: url('/resources/icons/bullet-ocsigen.png');
}

#misc-info article#users ul li a.ocsimore_phrasing_link {
  border-style: none;
}

#misc-info article#sponsors ul {
  margin: 0;
  padding: 0;
}

#misc-info article#sponsors ul li {
  display: inline-block;
  vertical-align: middle;
  padding: 0 3px;
}

#misc-info article#sponsors ul li a.ocsimore_phrasing_link {
  border-style: none;
}



/* Wikibox 458 : For the main wiki, the tutorial and others wiki home page. */

/* 'news.css' */

/*

   This css contains positionning and decoration informations for for
   left column's news.

*/



#news {
  margin-top: 10px;
}

#news h1 {
  color: #666;
}

#news > header h1 {
  font-family: boldtitlefont;
  font-weight: normal;
  font-size: 22px;
  line-height: 28px;
  margin: 0;
}

#news article > header h1 {
  font-size: 13px;
  margin: 1.6em 0 0 0;
}

#news article p {
  margin: 0.5em 0;
}

#news article > footer {
  font-size: 11px;
  color: #999;
}

#news > footer {
  text-align: right;
  margin: 15px 0 0 0;
}

/* Important news specific frame */

#importantnews {

  position: relative;

  margin: 1.5em -20px 2.2em -22px;
  padding: 1px 20px 10px 20px;

  border-right-style: none;

  background-color: #eaedf4; /* fallback color if gradients are not supported */

  background-image:
    -webkit-radial-gradient(180px 50px, circle farthest-side,
			    white 0%,
			    rgba(255, 255, 255, 0) 60%),
    -webkit-linear-gradient(right, #f3f6fe 23px, #ced1d7 270px);
  background-image:
    -moz-radial-gradient(180px 50px, circle farthest-side,
			 white 0%,
			 rgba(255, 255, 255, 0) 60%),
    -moz-linear-gradient(right, #f3f6fe 23px, #ced1d7 270px);
  background-image:
    -ms-radial-gradient(180px 50px, circle farthest-side,
			white 0%,
			rgba(255, 255, 255, 0) 60%),
    -ms-linear-gradient(right, #f3f6fe 23px, #ced1d7 270px);
  background-image:
    -o-radial-gradient(180px 50px, circle farthest-side,
		       white 0%,
		       rgba(255, 255, 255, 0) 60%),
    -o-linear-gradient(right, #f3f6fe 23px, #ced1d7 270px);
  background-image:
    radial-gradient(180px 50px, circle farthest-side,
		    white 0%,
		    rgba(255, 255, 255, 0) 60%),
    linear-gradient(right, #f3f6fe 23px, #ced1d7 270px);

  color: #444;

}

#importantnews:before {
  position: absolute;
  display: block;

  top: -18px;
  right: 0px;
  height: 18px;
  width: 273px;

  background-image:
    -webkit-linear-gradient(92deg, rgba(218, 221, 228, 1),
			    rgba(218, 221, 228, 0) 14px),
    -webkit-linear-gradient(left, #fff 200px, #eaedf4 273px);
  background-image:
    -moz-linear-gradient(92deg, rgba(218, 221, 228, 1),
			 rgba(218, 221, 228, 0) 14px),
    -webkit-linear-gradient(left, #fff 200px, #eaedf4 273px);
  background-image:
    -ms-linear-gradient(92deg, rgba(218, 221, 228, 1),
			rgba(218, 221, 228, 0) 14px),
    -webkit-linear-gradient(left, #fff 200px, #eaedf4 273px);
  background-image:
    -o-linear-gradient(92deg, rgba(218, 221, 228, 1),
		       rgba(218, 221, 228, 0) 14px),
    -webkit-linear-gradient(left, #fff 200px, #eaedf4 273px);
  background-image:
    linear-gradient(-2deg, rgba(218, 221, 228, 1),
		    rgba(218, 221, 228, 0) 14px),
    -webkit-linear-gradient(left, #fff 200px, #eaedf4 273px);

  border-bottom: 1px solid #eaedf4;
  content: "";
}

#importantnews:after {
  position: absolute;
  display: block;

  bottom: -18px;
  right: 0;
  height: 18px;
  width: 273px;

  background-image:
    -webkit-linear-gradient(269deg, rgba(218, 221, 228, 1),
			    rgba(218, 221, 228, 0) 14px),
    -webkit-linear-gradient(left, #fff 200px, #eaedf4 273px);
  background-image:
    -moz-linear-gradient(269deg, rgba(218, 221, 228, 1),
			 rgba(218, 221, 228, 0) 14px),
    -webkit-linear-gradient(left, #fff 200px, #eaedf4 273px);
  background-image:
    -ms-linear-gradient(269deg, rgba(218, 221, 228, 1),
			rgba(218, 221, 228, 0) 14px),
    -webkit-linear-gradient(left, #fff 200px, #eaedf4 273px);
  background-image:
    -o-linear-gradient(269deg, rgba(218, 221, 228, 1),
		       rgba(218, 221, 228, 0) 14px),
    -webkit-linear-gradient(left, #fff 200px, #eaedf4 273px);
  background-image:
    linear-gradient(181deg, rgba(218, 221, 228, 1),
		    rgba(218, 221, 228, 0) 14px),
    -webkit-linear-gradient(left, #fff 200px, #eaedf4 273px);

  border-top: 1px solid #eaedf4;

  content: "";
}

#project-boxes > a.ocsimore_flow_link, #project-boxes > .interactive.view.wikibox > .boxcontent > a {
  display: inline-block;
}

section > p > img {
  width: 100%;
}

/* 'quick_access.css' */


/*

   This css contains positionning and decoration informations for left
   column's quick access boxes (documentation and download).

*/


/* Positioning */

/* No explicit title (but use in an outline) */
#quick-access > header {
  display: none;
}

#quick-access article {
  position: relative;
  left: -2px;
  width: 216px;
  padding: 2px 20px;
  margin: 12px 0 20px -20px;
}

#quick-access article:before {
  position: absolute;
  left: 215px;
  top: -14px;
}

#content > section#content-default-main,
#content > article#content-default-main,
#content > div.logbox,
#content > div.wikibox > div.boxcontent > section#content-default-main,
#content > div.wikibox > div.boxcontent > article#content-default-main,
#content > div.wikibox > div.boxcontent > div.logbox {
  min-height: 300px; /* Force default content to be as height as the quick-access box, to
                        push the "news" aside below. */
}

/* Decoration */

#quick-access article {
  background-color: #07ace2; /* fallback color if gradients are not supported */
  color: white;
  box-shadow: 0 0 2px 2px #bbb;
/* encore plus classe :
  box-shadow: inset 0 0 1px 1px #58c9e7, 1px 1px 1px 1px #bbb;
  border: 1px solid #015f88;
  border-left-style: none;
*/

  border-top-right-radius: 8px;
  border-bottom-right-radius: 8px;

  background-image:
    -webkit-radial-gradient(180px 0, circle farthest-side,
			    rgba(10, 192, 237, 1) 0%,
			    rgba(10, 192, 237, 0) 150%),
    -webkit-linear-gradient(top, #017cc2, #005094);
  background-image:
    -moz-radial-gradient(180px 0, circle farthest-side,
			 rgba(10, 192, 237, 1) 0%,
			 rgba(10, 192, 237, 0) 150%),
    -moz-linear-gradient(top, #017cc2, #005094);
  background-image:
    -ms-radial-gradient(180px 0, circle farthest-side,
			rgba(10, 192, 237, 1) 0%,
			rgba(10, 192, 237, 0) 150%),
    -ms-linear-gradient(top, #017cc2, #005094);
  background-image:
    -o-radial-gradient(180px 0, circle farthest-side,
		       rgba(10, 192, 237, 1) 0%,
		       rgba(10, 192, 237, 0) 150%),
    -o-linear-gradient(top, #017cc2, #005094);
  background-image:
    radial-gradient(180px 0, circle farthest-side,
		    rgba(10, 192, 237, 1) 0%,
		    rgba(10, 192, 237, 0) 150%),
                    linear-gradient(top, #017cc2, #005094);

}

#quick-access article h1 {
  margin: 4px 0;
  font-size: 16px;
  font-family: boldtitlefont;
  font-weight: normal;
}

#quick-access article a.ocsimore_phrasing_link {
  color: white;
}

/* Small logo */

#quick-doc:before {
  content: url('/resources/icons/help-ocsigen-small.png');
}

#quick-download:before {
  content: url('/resources/icons/download-ocsigen-small.png');
}