Hello,
Encore une question de documentation.
La question ne concerne pas directement le CSS ou le PDF ou le HTML, mais comme j'ai vu cette chose apparaitre dans un source CSS, pourquoi pas la posté ici aussi. Depuis 3 jours, je n'ai de toute manière pas réussi à trouver une réponse (enfin, sans y avoir passé trois jours à proprement parler).
Voilà : Doxygen, permet d'utiliser des templates, et on peut lui demander de générer ses templates par défaut. C'est à ce moment que j'ai trouvé, dans le fichier CSS qu'il a généré, des notations "@group" et "@end". Je vous poste un extrait du CSS :
Est-ce que ça parle à quelqu'un ?
Si je devine bien ce que signifient ces deux annotations, alors elles m'intéressent beaucoup, mais j'ai besoin de savoir si je peux me reposer dessus, et pour cela, j'ai besoin d'en connaitre la source, et surtout de savoir si oui ou non c'est standard.
J'ai d'abord pensé à une notation à la JavaDoc, qui est utilisé partout, et pas seulement pour Java (on en voit même dans le JavaScript, ce qui est plutôt une bonne chose que ça se répande), mais je n'ai pas trouvé trace de ces annotations dans le standard JavaDoc, et puis les recherche sur le web avec des mots clés comme "group" et "end", ça ne va pas bien loin.
Encore une question de documentation.
La question ne concerne pas directement le CSS ou le PDF ou le HTML, mais comme j'ai vu cette chose apparaitre dans un source CSS, pourquoi pas la posté ici aussi. Depuis 3 jours, je n'ai de toute manière pas réussi à trouver une réponse (enfin, sans y avoir passé trois jours à proprement parler).
Voilà : Doxygen, permet d'utiliser des templates, et on peut lui demander de générer ses templates par défaut. C'est à ce moment que j'ai trouvé, dans le fichier CSS qu'il a généré, des notations "@group" et "@end". Je vous poste un extrait du CSS :
/* The standard CSS for doxygen */
body, table, div, p, dl {
font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
font-size: 12px;
}
/* @group Heading Levels */
h1 {
font-size: 150%;
}
h2 {
font-size: 120%;
}
h3 {
font-size: 100%;
}
dt {
font-weight: bold;
}
div.multicol {
-moz-column-gap: 1em;
-webkit-column-gap: 1em;
-moz-column-count: 3;
-webkit-column-count: 3;
}
p.startli, p.startdd, p.starttd {
margin-top: 2px;
}
p.endli {
margin-bottom: 0px;
}
p.enddd {
margin-bottom: 4px;
}
p.endtd {
margin-bottom: 2px;
}
/* @end */
caption {
font-weight: bold;
}
Est-ce que ça parle à quelqu'un ?
Si je devine bien ce que signifient ces deux annotations, alors elles m'intéressent beaucoup, mais j'ai besoin de savoir si je peux me reposer dessus, et pour cela, j'ai besoin d'en connaitre la source, et surtout de savoir si oui ou non c'est standard.
J'ai d'abord pensé à une notation à la JavaDoc, qui est utilisé partout, et pas seulement pour Java (on en voit même dans le JavaScript, ce qui est plutôt une bonne chose que ça se répande), mais je n'ai pas trouvé trace de ces annotations dans le standard JavaDoc, et puis les recherche sur le web avec des mots clés comme "group" et "end", ça ne va pas bien loin.