/* d'apres le style de licence de Paris 6 ecrit par  C.  queinnec
 
 */

body {
  background-color: #ffffff;
}

h1, .userh1 {
  font-family: "Times", serif ;
  display: block;
  align: center;
  width: 100%;
  margin-left: 20;
  margin-right: 20;
  padding: 10px;
  border-width: 3px;
  border-color: #2099b4 ;
  font-size: 200%;
  color: #ffffff ;
  background-color: #2099b4 ;
}

h2, .userh2 {
  font-family: "Times", serif ;
  display: block;
  width: 100%;
  align: center;
  padding: 10px;
  font-size: 170%;
  color: #ffffff ;
  background-color: #2099b4 ;  
}

/* Version html compacte de transparents. */
h3, .userh3, .SlideTitle {
  font-family: "Times", serif ;
  display: block;
  width: 100%;
  align: center;
  padding: 10px;
  font-size: 120%;
  color: #2099b4 ;
}

a {
  color: #2099b4;
}
/* Cas particuliers: */
h1 a, h2 a {
  color: white;
}

.commonBar {
  font-family: monospace;
  margin-left: 40;
  color: #000000;
  font-size: 120%;
  font-weight: bold;
}

A DIV.commonBar {
  decoration: none;
}

/* The style for news. */
.News {
  align: center;
  margin: 20;
}
.news a {
  color: #cc3399;
}
/* Display news titles with that style: */
.invertedTitle {
  font-family: "Times", serif ;
  align: center;
  font-size: 100%;
  color: #ffffff ;
  background-color: #cc3399;
}

/* Snippets of code */

.code, .divcode, .divsh, .divc, .divada, .divperl, .divscheme, .divocaml, .divMakefile, PRE {
  font-family: monospace;
  font-weight: bold;
  font-size: 100%;
  /* white-space: pre; */
  margin-left: 20px;
  margin-right: 20px;
  margin-top: 5px;
  margin-bottom: 5px;
  padding: 5px;
  color: #000000;
  background-color: #d0ffff;
  border: solid thin #2099b4;
}

/* end of licence.css */