Blob Blame History Raw
/* Titres
----------------------------------------------------------*/
#puntal_content #downloadsTitle span {
	font-weight: bold;
}

/* Catégories */

#catBox ul {
}

#catBox li {
	display: inline;
	margin-right: 12px;
}
#catBox li.current {
	font-weight: bold;
}

/* Contenu des downloads 
----------------------------------------------------------*/
#downloadContent {
}

#downloadContent p {
	margin: 1em 0;
}

#downloadContent pre {
	background-color: #333;
	color: #fff;
	padding: 5px;
	border: 1px solid #ccc;
}

#downloadContent h3, #downloadContent h4, #downloadContent h5, #downloadContent h6  {
	display: block;
	font-weight: bold;
}

#downloadContent h3 {
  font-size: 1.4em;
  margin: 1em 0;
}
#downloadContent h4 {
  font-size: 1.3em;
  margin: 1.33em 0;
}
#downloadContent h5 {
  font-size: 1.2em;
  margin: 1.67em 0;
}
#downloadContent h6 {
  font-size: 1.1em;
  margin: 2.33em 0;
}


/* Lists settings from Mozilla Firefox */
#downloadContent ul,
#downloadContent ol {
  display: block;
  margin: 1em 0;
  padding-left: 40px;
}

#downloadContent ul,
#downloadContent ul li {
  list-style-type: disc;
}

#downloadContent ol,
#downloadContent ol li {
  list-style-type: decimal;
}

#downloadContent li {
  display: list-item;
}


/* nested lists have no top/bottom margins */
#downloadContent ul ul, 
#downloadContent ul ol, 
#downloadContent ul dl, 
#downloadContent ol ul, 
#downloadContent ol ol, 
#downloadContent ol dl, 
#downloadContent dl ul, 
#downloadContent dl ol, 
#downloadContent dl dl {
  margin-top: 0;
  margin-bottom: 0;
}

/* 2 deep unordered lists use a circle */
#downloadContent ol ul, 
#downloadContent ul ul,
#downloadContent ol ul li, 
#downloadContent ul ul li {
  list-style-type: circle;
}

/* 3 deep (or more) unordered lists use a square */
#downloadContent ol ol ul, 
#downloadContent ol ul ul, 
#downloadContent ul ol ul, 
#downloadContent ul ul ul,
#downloadContent ol ol ul li, 
#downloadContent ol ul ul li, 
#downloadContent ul ol ul li, 
#downloadContent ul ul ul li {
  list-style-type: square;
}