@import url("css/antinetscape.css");
@import url("css/menus.css");

/* Quelques caractéristiques générales... */
body
{
  margin: 5%;
  padding: 0px;
}
html
{
  text-align: justify;
  margin: 0px;
  padding: 0px;
  font-family: serif;
  color: black;
  background: #ddd;
}
h1, h2, h3, h4, h5, h6
{
  font-weight: bold;
  text-align: left;
  font-family: sans-serif;
}
h1
{
  font-size: 220%;
  text-align: center;
  font-variant: small-caps;
/*  text-transform: uppercase; */
}
h2
{
  font-size: 190%;
}
h3
{
  font-size: 160%;
}
h4
{
  font-size: 130%;
}
h5
{
  font-size: 100%;
}
h6
{
  font-size: 70%;
}
p
{
  text-align: justify;
  text-indent: 2ex;
}
p.liens
{
  text-indent: 0ex;
}
dt
{
  font-weight: bold;
}

/* Couleurs des liens. */
a:link
{
  color: #000099;
  text-decoration: underline;
}
a:visited
{
  color: #750099;
}
a:hover
{
  color: #0000ff;
  text-decoration: underline;
}
/* Les liens en #qqch: à l'intérieur de la page */
a.int:link
{
  color: #111;
  text-decoration: underline;
}
a.int:visited
{
  color: #333;
}
a.int:hover
{
  color: #555;
  text-decoration: underline;
}
/* Liens vers un autre site. */
a.ext:link
{
  color: #107000;
}
a.ext:visited
{
  color: #004000;
}
a.ext:hover
{
  color: #009900;
  text-decoration: underline;
}
/* Liens mailto:. */
a.mailto
{
  color: maroon;
}
a.mailto:hover
{
  color: #bb0000;
}
/* Liens news:. */
a.news
{
  color: #bb5500/*#a00080*/;
}
a.news:hover
{
  color: #e56700/*#cc00a3*/;
}

/* Bordures autour des images clicables. */
a img
{
  border: thin solid #000099;
}
a.ext img
{
  border: thin solid #107000;
}