/*
*************************************************************
* phpnet.css - A clone of php.net (http://www.php.net/)
* Based on lean.css Copyright 2004, 2005 Hagan Fox (haganfox AT users.sourceforge.net)
* Based on pmwiki.css Copyright 2004 Patrick R. Michaud (pmichaud@pobox.com)
* You can redistribute this file and/or modify   it under the terms
* of the GNU General Public License as published by the Free Software
* Foundation; either version 2 of the License, or (at your option)
* any later version.  See http://www.gnu.org/licenses/gpl.txt
*************************************************************
*/

/* General settings */
body, html {
    margin: 0px;
    padding: 0px;
    background-color: white;
}

/* Font Typeface - comment out to use browser defaults */
body, ul, td, th, p, h1, h2, h3, h4, small, input, select { 
	font-family: verdana, arial, helvetica, sans-serif; 
}
textarea {
	font-size:95%;
	font-family: "Courier New", Courier, monospace;
}
pre, tt, code, .sourcecode {

    font-family: "Courier New", Courier, monospace;
	/*white-space: -pre-wrap ;
	white-space: -moz-pre-wrap ;
	overflow: scroll;*/
}
/* Font Sizes - comment out to use browser defaults */
/* textarea, pre, tt { font-size:10pt; } */
/* small { font-size:0.85em; } */

h1 { 
	font-size: 133%; 
    border-bottom: 1px solid #1e1e6d;
    color: #1e1e6d;
}
h2 { 
	font-size: 125%; 
    color: #1e1e6d;
}
h3 { 
	font-size: 110%; 
    color: #1e1e6d;
}
h4 { font-size: 100%; }

hr {
    border: 0px;
    color: black;
    background-color: black;
    height: 1px;
}

/* Default font size for elements */
body, ul, td, th {
    font-size: 100%;
}


img { border-width:0px;}


/* Links */
a { color:#0000B0; text-decoration:none; font-weight: bold;}
a:visited { color:#0000B0; text-decoration:none; }
a:hover { color:#ff8000; }
a:active { color:#0000ff; }

a.urllink { color:#0000B0; text-decoration:none; font-weight: bold;
background:transparent url(/pub/skins/framacd/link.png) right center no-repeat;
padding-right: 12px;
}
a.urllink:visited { color:#0000B0; text-decoration:none; }
a.urllink:hover { color:#ff8000; }
a.urllink:active { color:#0000ff; }

a.wikilink { color:#0000B0; text-decoration:none; font-weight: bold;}
a.wikilink:visited { color:#0000B0; text-decoration:none; }
a.wikilink:hover { color:#ff8000; }
a:active { color:#0000ff; }
 
/* PhpWiki Built-ins */
h1.wikiaction { font-size:150%; margin:0px; }
#wikiedit form { margin:1px; }
#wikiedit textarea { width:95%; height:410px; font-size: 110%; font-family: "Courier New", Courier, monospace;}
.indent { }
.pagetitle { }
a.varlink { }

/* Upper Table */
#wikiheadtable { 
	background-color:#EDF2F2; 
	vertical-align:top; 
	margin-top:0px; 
	border-bottom:1px solid #D0D9D9; 
	padding-bottom:1px;
}

#headlogo { color:#000000; width:165px; vertical-align:middle;  }
#wikilogo { height:36px; text-align:center; vertical-align:top;}
#wikilogo img { border:0px; }
#wikilogotext { font-size: 150%; text-align:left; vertical-align:middle; white-space:nowrap; }
#wikilogotext { padding-top:5px; padding-bottom:2px; padding-left:15px; padding-right:5px; }
#wikilogotext, #wikilogotext a, #wikilogotext a:visited { font-weight:bold; }

#headwikiloc { vertical-align:middle; }
#wikilocgroup { white-space:nowrap; padding-top:2px; padding-left:15px; color:#333333; padding-right:5px; }
#wikigroupforheader { font-weight:bold; }

#wikiheadcmds { font-size: 75%; white-space:nowrap; text-align:right; vertical-align:bottom; }
#headcmdsupper { font-weight:bold; padding-right:10px; }
#headcmdslower { font-weight:bold; padding-left:10px; padding-right:10px; color: White; }
#headcmdslower a { color: White; }
#wikiloctitle { font-size: 120%; font-weight: bold; white-space:nowrap; padding-left:15px; }

#wikiheadquicksearch {
    font-size: 75%;
	background-color:#E0E9E9; 
    vertical-align:top; margin-top:0px;
    border-bottom:1px solid #D0D9D9; 
}
#headsearchleft { font-weight:bold; padding-left:10px; padding-right:10px; color: White; }
#headsearchleft a { color: #000000; font-weight:normal;}
#headsearchright { text-align: right; padding-left:10px; padding-right:10px; color: White; }
#headsearchright a { color: #000000; font-weight:normal;}


form.thin {
	margin-bottom: 0px;
	margin-top: 0px;
	font-size: 10px;
}
.searchbox {
	border: 1px solid #c4c4ff;
	font-family: verdana,helvetica,sans-serif;
	-moz-border-radius: 6px;
	font-size: 10px;
	font-weight:normal;
}
/* Main Wiki table */
#wikimain { }
/* Menu bar */
#menubar { 
	font-size: 90%; 
}
#menubar a.createlinktext { 
	 
}
#menubar a.createlink { 
	display:none; 
}
/* Left column */
#mainwikisidebar { 
	background-color:#fbfbfd; 
	color:#000000; 
	width:165px; 
	vertical-align:top; 
	padding: 5px;
	border-bottom:1px solid #D0D9D9; 
	font-size: 85%; 
}

#mainwikisidebar strong { white-space:nowrap; margin-left:4px; margin-right:2px; }
#mainwikisidebar h1 { 
    border-style: solid;
    border-color: #D0D9D9;
    border-width: 1px 1px 1px 1px;
    background-color: #E0E9E9;
    padding: 2px;
	font-size: 100%;
	font-weight: bold;
}
	 
#mainwikisidebar .indent { margin-left:10px; margin-right:2px; } 
#mainwikisidebar ul { white-space:nowrap; margin:2px; padding-left:4px; list-style-type:none; list-style-position: inside;
}
#mainwikisidebar li {     
		border-style: solid;
    border-color: #D0D9D9;
    border-width: 1px 1px 1px 1px;
    background-color: #eeeeff;
    padding: 2px;
		font-size: 90%;
		margin: -1px;
}
#mainwikisidebar li:hover {     
    background-color: #dedeff;
}

#sidebarbottom { padding-left:10px; padding-right:5px; padding-bottom:5px; }
#sidebarbottom img { border:0px; }
#sidebarbottom a, #sidebarbottom a:visited { color:#999999; }

/* Main wiki area */
#mainwikitext { 
	background-color:#ffffff; 
	color:#000000; 
	vertical-align:top; 
	border-bottom:1px solid #D0D9D9; 
	font-size: 80%; 
}

#wikibody { 
	width:100%; 
	padding:10px; 
	padding-top:5px; 
}


#footlastmod { color:#999999; padding-left:5px; padding-right:5px; font-size: 90%;}


/* Wiki footer */
#editrow { 
	font-size: 75%; 
	background-color:#EDF2F2; 
	border-bottom:1px solid #D0D9D9; 
}
#footleft { padding-left:5px; padding-right:10px; }
#footmiddle { text-align:center; color:#999999; }
#footright { text-align:right; padding-left:5px; padding-right:10px; }


/* Last row, for Powered-by link */
#wikisole { font-size: 75%; text-align:center; padding-top:2px; padding-bottom:3px; }
#wikisole, #wikisole a, #wikisole a:visited { font-weight:normal; color:#80B0F0; }
#wikisole a:hover { color:#999999; }

/* Make site-related links non-bold */

#wikigroupforheader, #wikigroupforheader a { font-weight:normal; }
#headcmdsupper, #headcmdsupper a { font-weight:normal; }
#headcmdslower, #headcmdslower a { font-weight:normal; }
#mainwikisidebar, #mainwikisidebar a, #mainwikisidebar h1 { font-weight:normal; }
#mainwikisidebar strong { font-weight:normal; }
#footleft, #footleft a, #footmiddle, #footmiddle a, #footright, #footright a { font-weight:normal;}
#wikisole, #wikisole a, #wikisole a:visited { font-weight:normal; color:#80B0F0; }


.sourcecode 
{
   background-color: #F0F0F8;
   border: #666 1px solid;
   padding: 1em;
 }

/* http://www.alistapart.com/stories/taminglists/ helped a lot to
 * design the unordered list that is used as main navigation.
 * If you want to change the height make sure to adjust top/bottom-padding for
 * "#navi ul" AND "#navi li a"
 */
#navi ul {
    list-style: none;
    color: #000; /* needed for validation */
    background-color: #E0E9E9;
    margin: 0 ;
    padding: 0.2em 0;
}
#navi li {
    display:inline;
}
#navi li a {
    border-right: 1px solid #D0D9D9;
		border-left: 1px solid #D0D9D9;
    border-top: 1px solid #D0D9D9;
    color: #000000;
    background-color: #EDF2F2; /* needed for validation */
    text-decoration: none;
    padding: 0.2em 1em;
}
#navi a.createlink {
	display:none;
}
#navi li a.first {
    border-left: none;
}
#navi li a:hover {
    color: #fff;
    background-color: #D0D9D9;
}


/* Sidebar */

#nav:before {
	line-height: 0.1;
	font-size: 1px;
	background: transparent url("/pub/skins/frama/menu_tr.gif") no-repeat top right;
	margin: 0;
	height: 9px;
	display: block;
	border-bottom: 1px solid #ddd;
	content: url("/pub/skins/frama/key-point_tl.gif");
}

#navsidebar {
	width:165px;
	font-size: 75%;
	margin-left:2px; 
	vertical-align:top; 
	padding: 5px;
}

#nav {
	background: #E0E9E9 url("/pub/skins/frama/menu_back.gif") right repeat-y;

}
#nav:after {
	display: block;
	padding-top: 0;
	line-height: 0.1;
	font-size: 1px;
	content:  url("/pub/skins/frama/key-point_bl.gif");
	margin: 0 0 0 0;
	height: 8px;
	background: transparent url("/pub/skins/frama/menu_br.gif") scroll no-repeat bottom right ;
	border-top: 1px solid #fff;
}

#nav, #nav ul {
	margin: 0;
	padding: 0;
	list-style: none;
}
#nav {
	margin-bottom: 1em;
}	
#nav li {
	display: inline;
	padding: 0;
	margin: 0;
}

#nav li span { /* used for un-linked menu items */
	display: block;
	padding: 6px 10px;
	font-weight: bold;
	color: #666;
}

#nav li span#configParent, #nav li span #configuration {
	display: inline;
	font-weight: normal;
	padding: 0;
}

#nav li a {
	display: block;
	padding: 6px 10px;
	text-decoration: none;
	background: #EDF2F2;
	border-bottom: 1px solid #ddd;
	border-top: 1px solid #fff;
	border-right: 1px solid #ddd;
	font-size: 85%;
}

#nav li a:hover {
	background: #E0E9E9;
}

#nav ul li span,#nav ul li a {
	padding: 4px 8px 4px 10px;
}


div.citation { 
	border:2px dotted #c3c3cf; 
    margin-left:30px;
	margin-right:30px; 
    padding-left:10px;
	padding-right:10px; 
    background-color: #EDF2F2; /* needed for validation */
}

div.traduction { 
	border:2px solid #c3c3cf; 
    margin-left:30px;
	margin-right:30px; 
    padding-left:10px;
	padding-right:10px; 
    background-color: #ffffff; /* needed for validation */
}
div.commentaire { 
	border:1px solid #c3c3cf; 
    margin-left:15px;
	margin-right:15px; 
    padding-left:5px;
	padding-right:5px; 
    background-color: #fbfbfd; /* needed for validation */
}

div.boxcomments { 
	border:1px dotted #c3c3cf; 
	margin:-10px;
	padding:-10px;  
    background-color: #fcfcfc; /* needed for validation */
}

.mycode { 
	border:2px dotted #ccf; 
	margin-left:30px;
	margin-right:30px; 
	padding-left:10px;
	padding-right:10px;
	background-color: #F0F0F0; /* needed for validation */ 
}

.mycode pre {
/*	border-bottom:1px solid #ccf; 
	padding-top:10px;
	padding-bottom:10px;
*/
 }
.wikipreview {
	background-image: url(/pub/skins/frama/preview.gif);
}
 
 

.included { 
  color:#E0E9E9; 
  border-bottom:dashed 1px; 
  text-align:right;
}
.button {
  font-family:Arial;
  font-size:80%; 
  font-weight:bold;
  font-style:normal;
  color:#008000;
  white-space:nowrap;

  border:outset 2px #C0C0C0;
  background:#CCFFCC;

  padding-left:5px;
  padding-right:5px;
}

.button a {
  color:#008000;
  text-decoration:none;
}
 
/* Inconspicious Wiki Links */
/*
#wikilogotext { padding-top:2px; padding-bottom:6px; }
#wikilocgroup { display:none; }
#headcmdsupper, #headcmdsupper a, #headcmdsupper a:visited { display:none; }
#footleft, #footleft a, #footleft a:visited { font-weight:normal; color:#999999; }
#footright, #footright a, #footleft a:visited { font-weight:normal; color:#999999; }
*/

/* Stealthy Wiki Links */
/*
#wikilogotext { padding-top:8px; padding-bottom:0px; }
#headcmdsupper { visibility:hidden; }
#mainwikifoot, #mainwikifoot a, #mainwikifoot a:visited { color:#f8f8f8; font-weight:normal; }
#mainwikifoot a:hover { visibility:visible; color:#cccccc; }
#footleft, #footmiddle, #footright, #wikipoweredby { color:#f8f8f8; }
#footlastmod:hover, #wikipoweredby:hover { color:#cccccc; }
#wikisole:hover, #wikisole a:hover { color:#cccccc; }
*/

/* Invisible Wiki Links (You can still use access keys in Firefox. */
/*
#wikilogotext { padding-top:2px; padding-bottom:6px; }
#wikilocgroup { display:none; }
#headcmdsupper, #headcmd