Différences entre les versions de « MediaWiki:Common.css »
De Wikip
m (1 version importée)  | 
				toross>WikiAdmin   | 
				||
| Ligne 1 : | Ligne 1 : | ||
/* Commentaires */  | /* Commentaires */  | ||
/* Le CSS placé ici sera appliqué à tous les habillages. */  | /* Le CSS placé ici sera appliqué à tous les habillages. */  | ||
/* @import url("https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css"); */  | /* @import url("https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css"); */  | ||
/* * {font-family: courier new} */  | /* * {font-family: courier new} */  | ||
/*    | /*  | ||
   # élement unique    |    # élement unique  | ||
   . class  |    . class  | ||
*/  | */  | ||
/* html,head,body{ width:*} */  | /* html,head,body{ width:*} */  | ||
html, title, head, br, il, tr, th, table, p, omg, ihr, body, td ,    | /* #mw-header-container */  | ||
   center,h1, h2, h3, h4, h5, h6, .mw-headline, div    | |||
{    | html, title, head, br, il, tr, th, table, p, omg, ihr, body, td ,  | ||
   center,h1, h2, h3, h4, h5, h6, .mw-headline, div  | |||
{  | |||
   /* font-family: Calibri arial dejavusans dejavu sans; */  |    /* font-family: Calibri arial dejavusans dejavu sans; */  | ||
   font-family: Calibri, Candara, Segoe, Segoe UI, Optima, Arial, sans-serif;  |    font-family: Calibri, Candara, Segoe, Segoe UI, Optima, Arial, sans-serif;  | ||
   font-size:12pt;    |    font-size:12pt;  | ||
   margin : 0pt;  |    margin : 0pt;  | ||
   padding : 0pt;  |    padding : 0pt;  | ||
| Ligne 28 : | Ligne 31 : | ||
}  | }  | ||
/*  | /*  | ||
ul, ol {  | ul, ol {  | ||
| Ligne 36 : | Ligne 37 : | ||
*/  | */  | ||
#bodyContent{  | #bodyContent{  | ||
padding:0;  | padding:0;  | ||
min-width :   | min-width : 180mm;  | ||
}  | }  | ||
#content{  | #content{  | ||
padding:  | padding: 5mm ;  | ||
width : 210mm;  | width : 210mm;  | ||
margin  | margin : 5mm ;  | ||
}  | }  | ||
#mw-content-text {  | #mw-content-text {  | ||
padding: 1mm;  | padding: 1mm;  | ||
}  | }  | ||
| Ligne 79 : | Ligne 64 : | ||
}  | }  | ||
/*  | |||
h1, h2, h3, h4, h5, h6  {    | h1, h2, h3, h4, h5, h6  {  | ||
max-width : 210mm;    | max-width : 210mm;  | ||
min-width : 10mm;    | min-width : 10mm;  | ||
font-size : 105%;  | font-size : 105%;  | ||
padding: 0.05em;  | padding: 0.05em;  | ||
margin : 0.05em;  | margin : 0.05em;  | ||
border-radius:5px;  | border-radius:5px;  | ||
border-style:solid;  | border-style:solid;  | ||
border-width:1px;  | border-width:1px;  | ||
vertical-align:middle;  | vertical-align:middle;  | ||
}  | }  | ||
*/  | |||
h1, h2, h3, h4, h5, h6, .mw-headline-number, .mw-headline  | h1, h2, h3, h4, h5, h6, .mw-headline-number, .mw-headline  | ||
{    | {  | ||
   vertical-align:middle;   |    vertical-align:middle;  | ||
}  | |||
.mw-body h1, .mw-body h2, .mw-body h3, .mw-body h4, .mw-body h5, .mw-body h6{  | |||
margin : 0.1em;  | |||
}  | }  | ||
| Ligne 107 : | Ligne 93 : | ||
h1, .mw-body h1 {font-size:120%; font-weight:bold;}  | h1, .mw-body h1 {font-size:120%; font-weight:bold;}  | ||
h2, .mw-body h2 {font-size:115%; font-weight:bold;}    | h2, .mw-body h2 {font-size:115%; font-weight:bold;}  | ||
h3, .mw-body h3 {font-size:110%; font-weight:bold;margin-left:2em;}    | h3, .mw-body h3 {font-size:110%; font-weight:bold;margin-left:2em;}  | ||
h4, .mw-body h4 {font-size:108%; font-weight:bold;margin-left:4em;}    | h4, .mw-body h4 {font-size:108%; font-weight:bold;margin-left:4em;}  | ||
h5, .mw-body h5 {font-size:106%; font-weight:bold;margin-left:6em;}    | h5, .mw-body h5 {font-size:106%; font-weight:bold;margin-left:6em;}  | ||
h6, .mw-body h6 {font-size:103%; font-weight:bold;margin-left:8em;}  | h6, .mw-body h6 {font-size:103%; font-weight:bold;margin-left:8em;}  | ||
.inMarg, .parBaseTabTdR2,    | .inMarg, .parBaseTabTdR2,  | ||
   .parBaseTabTdR,  |    .parBaseTabTdR,  | ||
   .parBaseTabTdRHalf,   |    .parBaseTabTdRHalf,  | ||
   .parBaseTabTdL2,    |    .parBaseTabTdL2,  | ||
   .parBaseTabTdL,    |    .parBaseTabTdL,  | ||
   .parBaseTabTd,    |    .parBaseTabTd,  | ||
   .parBaseTabTh  |    .parBaseTabTh {  | ||
{    | |||
   /*display:inline-block; */  |    /*display:inline-block; */  | ||
   display: table-cell;    |    display: table-cell;  | ||
}  | }  | ||
| Ligne 134 : | Ligne 119 : | ||
/* cParBase */  | /* cParBase */  | ||
.parBaseTab, table.cParBaseTab {    | .parBaseTab, table.cParBaseTab {  | ||
   font-size:100%;  |    font-size:100%;  | ||
   margin-top:0em;  |    margin-top:0em;  | ||
| Ligne 142 : | Ligne 127 : | ||
   padding:0em;  |    padding:0em;  | ||
   border:0px;  |    border:0px;  | ||
   border-radius:0.0em;  |    border-radius:0.0em;  | ||
}  | }  | ||
.parBaseTab2,table.cParBaseTab2 {    | .parBaseTab2,table.cParBaseTab2 {  | ||
   font-size:100%;  |    font-size:100%;  | ||
   margin-top:0em;  |    margin-top:0em;  | ||
| Ligne 154 : | Ligne 138 : | ||
   padding:0em;  |    padding:0em;  | ||
   border:0px;  |    border:0px;  | ||
   border-radius:0.0em;  |    border-radius:0.0em;  | ||
}  | }  | ||
.min, .parBaseTabTdL2, cParBaseTdL2, .parBaseTabTdL, cParBaseTdL {  | .min, .parBaseTabTdL2, cParBaseTdL2, .parBaseTabTdL, cParBaseTdL {  | ||
font-size : 70%;  | font-size : 70%;  | ||
}  | }  | ||
.Half, .headHalf {  | .Half, .headHalf {  | ||
font-size : 100%;  | font-size : 100%;  | ||
}  | }  | ||
.full, .head, .parBaseTabTdR, .parBaseTabTdRHalf, .cParBaseTdR {  | .full, .head, .parBaseTabTdR, .parBaseTabTdRHalf, .cParBaseTdR {  | ||
font-size : 100%;  | font-size : 100%;  | ||
}  | }  | ||
.double, .headDouble, .parBaseTabTdR2, .cParBaseTdR2 {  | .double, .headDouble, .parBaseTabTdR2, .cParBaseTdR2 {  | ||
font-size : 100%;  | font-size : 100%;  | ||
}  | }  | ||
.headHalf, .head, .headDouble {  | .headHalf, .head, .headDouble {  | ||
     display:inline-block;  |      display:inline-block;  | ||
     vertical-align:middle;  |      vertical-align:middle;  | ||
}  | }  | ||
.parBaseTabTdL, .cParBaseTdL, .parBaseTabTdL2, .cParBaseTdL2 {    | .parBaseTabTdL, .cParBaseTdL, .parBaseTabTdL2, .cParBaseTdL2 {  | ||
   word-wrap:break-word;  |    word-wrap:break-word;  | ||
   text-align:center;  |    text-align:center;  | ||
   vertical-align:top;    |    vertical-align:top;  | ||
   padding:0;  |    padding:0;  | ||
   margin:0em;  |    margin:0em;  | ||
   margin-bottom:0.5em;  |    margin-bottom:0.5em;  | ||
}    | }  | ||
.parBaseTabTdR, .parBaseTabTdRHalf, cParBaseTdR, .parBaseTabTdR2, td.cParBaseTdR2 {    | .parBaseTabTdR, .parBaseTabTdRHalf, cParBaseTdR, .parBaseTabTdR2, td.cParBaseTdR2 {  | ||
   word-wrap: break-word;  |    word-wrap: break-word;  | ||
   padding:0.0em;  |    padding:0.0em;  | ||
   padding-top:0;  |    padding-top:0;  | ||
   margin:0.0em;  |    margin:0.0em;  | ||
   margin-bottom:0.5em;  |    margin-bottom:0.5em;  | ||
   vertical-align:top;    |    vertical-align:top;  | ||
   text-align:justify;    |    text-align:justify;  | ||
}  | }  | ||
/********************************************************************/  | /********************************************************************/  | ||
.parBaseTab, .parBaseTab2 {    | .parBaseTab, .parBaseTab2 {  | ||
   display: table;    |    display: table;  | ||
}  | }  | ||
.parBaseTabTr {    | .parBaseTabTr {  | ||
   display: table-row;    |    display: table-row;  | ||
}  | }  | ||
.parBaseTabTh {    | .parBaseTabTh {  | ||
   display: table-header-group;    |    display: table-header-group;  | ||
}  | }  | ||
.parBaseTabBody {    | .parBaseTabBody {  | ||
   display: table-row-group;    |    display: table-row-group;  | ||
}  | }  | ||
.parBaseTabFoot {    | .parBaseTabFoot {  | ||
   display: table-footer-group;    |    display: table-footer-group;  | ||
}  | }  | ||
.inMarg, .parBaseTabTdR2,    | .inMarg, .parBaseTabTdR2,  | ||
   .parBaseTabTdR,    |    .parBaseTabTdR,  | ||
   .parBaseTabTdRHalf,  |    .parBaseTabTdRHalf,  | ||
   .parBaseTabTdL2,    |    .parBaseTabTdL2,  | ||
   .parBaseTabTdL,    |    .parBaseTabTdL,  | ||
   .parBaseTabTd,    |    .parBaseTabTd,  | ||
   .parBaseTabTh  |    .parBaseTabTh{  | ||
{    |    vertical-align:top;  | ||
   vertical-align:top;   | |||
}  | }  | ||
| Ligne 230 : | Ligne 211 : | ||
   padding-right: 2mm;  |    padding-right: 2mm;  | ||
}  | }  | ||
/* cNumPar */  | /* cNumPar */  | ||
div.cNumParTitle {  | div.cNumParTitle {  | ||
| Ligne 236 : | Ligne 217 : | ||
   padding:0em;  |    padding:0em;  | ||
   margin:0em;  |    margin:0em;  | ||
}   | }  | ||
span.cNumParTitle,  | |||
   span.parTitle,    |    span.parTitle,  | ||
   span.anTitle,    |    span.anTitle,  | ||
   span.defTitle,    |    span.defTitle,  | ||
   span.exTitle,  |    span.exTitle,  | ||
   span.exoTitle,    |    span.exoTitle,  | ||
   span.notTitle,    |    span.notTitle,  | ||
   span.qpTitle,  |    span.qpTitle,  | ||
   span.rdoTitle,  |    span.rdoTitle,  | ||
   span.rdnTitle,    |    span.rdnTitle,  | ||
   span.rqTitle,    |    span.rqTitle,  | ||
   span.todoTitle,    |    span.todoTitle,  | ||
   span.cslTitle,    |    span.cslTitle,  | ||
   span.hypTitle,    |    span.hypTitle,  | ||
   span.assTitle,  |    span.assTitle,  | ||
   span.proTitle,  |    span.proTitle,  | ||
   span.theTitle,  |    span.theTitle,  | ||
   span.axiomTitle,  |    span.axiomTitle,  | ||
   span.lemmeTitle,    |    span.lemmeTitle,  | ||
   span.propTitle,  |    span.propTitle,  | ||
   span.conjTitle   |    span.conjTitle  | ||
{  | {  | ||
   border-radius:0.5em;  |    border-radius:0.5em;  | ||
   border-style:solid;  |    border-style:solid;  | ||
| Ligne 267 : | Ligne 247 : | ||
   padding-left:0.5em;  |    padding-left:0.5em;  | ||
   padding-right:0.5em;  |    padding-right:0.5em;  | ||
}  | }  | ||
span.cNumParTitle2  | span.cNumParTitle2  | ||
  {  |   {  | ||
   border-radius:0.5em;  |    border-radius:0.5em;  | ||
   border-style:solid;  |    border-style:solid;  | ||
| Ligne 280 : | Ligne 257 : | ||
   padding-left:0.5em;  |    padding-left:0.5em;  | ||
   padding-right:0.5em;  |    padding-right:0.5em;  | ||
}  | }  | ||
span.cNumParInfo {    | |||
span.cNumParInfo {  | |||
   padding:0.2em;  |    padding:0.2em;  | ||
   margin:0.2em;    |    margin:0.2em;  | ||
}  | }  | ||
.figcTab, .figTab table.figTable, table.figcTable {    | |||
   padding:0.0em;    | .figcTab, .figTab table.figTable, table.figcTable {  | ||
   padding:0.0em;  | |||
}  | }  | ||
.figTab table.figTable {    | .figTab table.figTable {  | ||
   margin:0.5em 0em 0.5em 0em;    |    margin:0.5em 0em 0.5em 0em;  | ||
}  | }  | ||
.  | |||
.figcTitleTabTd, .figTitleTabTd, td.figTitleTd, td.figcTitleTd {  | |||
	padding-left:1em;  | |||
	padding-right:1em;  | |||
}  | }  | ||
.figTab, .figcTab {  | |||
   display: table;  | |||
.figTab, .figcTab {    | |||
   display: table;    | |||
}  | }  | ||
.figTabTr, .figcTabTr {    | .figTabTr, .figcTabTr {  | ||
   display: table-row;    |    display: table-row;  | ||
}  | }  | ||
.figTabTh, .figcTabTh {    | .figTabTh, .figcTabTh {  | ||
   display: table-header-group;    |    display: table-header-group;  | ||
}  | }  | ||
.figTabBody, .figcTabBody {    | .figTabBody, .figcTabBody {  | ||
   display: table-row-group;    |    display: table-row-group;  | ||
}  | }  | ||
.figTabFoot, .figcTabFoot {    | .figTabFoot, .figcTabFoot {  | ||
   display: table-footer-group;    |    display: table-footer-group;  | ||
}  | }  | ||
.parBaseTabTdL, .cParBaseTdL, .parBaseTabTdL2, td.cParBaseTdL2,  | .parBaseTabTdL, .cParBaseTdL, .parBaseTabTdL2, td.cParBaseTdL2,  | ||
   .figcTitleTabTd,    |    .figcTitleTabTd,  | ||
   .figcImgTabTd,    |    .figcImgTabTd,  | ||
   .figTitleTabTd,    |    .figTitleTabTd,  | ||
   .figImgTabTd,    |    .figImgTabTd,  | ||
   .figTabTd,    |    .figTabTd,  | ||
   .figTabTh  {    |    .figTabTh  {  | ||
   display: table-cell;    |    display: table-cell;  | ||
   text-align: center;    |    text-align: center;  | ||
}  | }  | ||
.figcTitleTabTd, .figTitleTabTd {    | .figcTitleTabTd, .figTitleTabTd {  | ||
   border-radius:0.5em;    |    border-radius:0.5em;  | ||
}  | }  | ||
.figcTab, table.figcTable {    | .figcTab, table.figcTable {  | ||
   display: inline-table;   |    display: inline-table;  | ||
}  | }  | ||
span.cNumParTag,  | span.cNumParTag,  | ||
span.parTag,  | span.parTag,  | ||
| Ligne 364 : | Ligne 336 : | ||
span.defineEq,  | span.defineEq,  | ||
span.notationEq  | span.notationEq  | ||
{    | {  | ||
   font-size:70%;  |    font-size:70%;  | ||
}  | }  | ||
| Ligne 372 : | Ligne 344 : | ||
font-size:70%;  | font-size:70%;  | ||
}  | }  | ||
.MathJax{    | .MathJax{  | ||
font-size: 1.01em !veryimportant;    | /* !veryimportant TODO */  | ||
font-size: 1.01em!veryimportant ;  | |||
}  | }  | ||
| Ligne 384 : | Ligne 357 : | ||
0        1         2         3         4         5         6         7  | 0        1         2         3         4         5         6         7  | ||
1234567890123456789012345678901234567890123456789012345678901234567890  | 1234567890123456789012345678901234567890123456789012345678901234567890  | ||
Voici un titre très très long et assez long pour dépasser le nombre maximal de    | Voici un titre très très long et assez long pour dépasser le nombre maximal de  | ||
caractères comme vous pouvez le constater.  | caractères comme vous pouvez le constater.  | ||
*/  | */  | ||
.inMarg { max-width : auto; }  | .inMarg { max-width : auto; }  | ||
.tabTd, .tabTh {    | .tabTd, .tabTh {  | ||
min-width: 10mm;  | min-width: 10mm;  | ||
}  | }  | ||
| Ligne 396 : | Ligne 369 : | ||
}  | }  | ||
.parBaseTabTdL, .cParBaseTdL, .parBaseTabTdL2, .cParBaseTdL2    | .parBaseTabTdL, .cParBaseTdL, .parBaseTabTdL2, .cParBaseTdL2  | ||
{    | {  | ||
   width: 30mm ;    |    width: 30mm ;  | ||
}    | }  | ||
.min {  | .min {  | ||
   min-width: 10mm ;    |    min-width: 10mm ;  | ||
}  | }  | ||
.half, .headHalf, .full, .head,   | .half, .headHalf, .full, .head,  | ||
     .figcImgTabTd, .figImgTabTd, td.figImgTd, td.figcImgTd, .parBaseTabTdRHalf    |      .figcImgTabTd, .figImgTabTd, td.figImgTd, td.figcImgTd, .parBaseTabTdRHalf  | ||
{  | {  | ||
   width : 75mm ;  |    width : 75mm ;  | ||
}  | }  | ||
.parBaseTabTdR, .cParBaseTdR    | .parBaseTabTdR, .cParBaseTdR  | ||
{  | {  | ||
   width : 150mm;    |    width : 150mm;  | ||
}  | }  | ||
.double, .headDouble,  | .double, .headDouble,.parBaseTabTdR2,.cParBaseTdR2  | ||
{  | {  | ||
   width : 180mm;    |    width : 180mm;  | ||
}  | }  | ||
.cadreDouble    | .cadreDouble  | ||
{  | {  | ||
   text-align:middle;    |    text-align:middle;  | ||
   border:6px solid;  | |||
   border:6px solid   |    margin :1px ;  | ||
   margin :1px ;   | |||
   padding:2px ;  |    padding:2px ;  | ||
}  | }  | ||
.cadreSimple    | .cadreSimple  | ||
{  | {  | ||
   text-align:middle  |    text-align:middle;  | ||
   border:2px solid;  | |||
   border:2px solid   |    margin :2px ;  | ||
   margin :2px ;   | |||
   padding:8px;  |    padding:8px;  | ||
}  | }  | ||
.cadreSimpleD    | .cadreSimpleD  | ||
{  | {  | ||
   text-align:middle  |    text-align:middle;  | ||
   border:1px solid;  | |||
   border:1px solid   |    margin :4px ;  | ||
   margin :4px ;   | |||
   padding:8px;  |    padding:8px;  | ||
}  | }  | ||
.cadreSimpleT    | .cadreSimpleT  | ||
{  | {  | ||
   text-align:middle  |    text-align:middle;  | ||
   border:1px solid;  | |||
   border:1px solid   |    margin :6px ;  | ||
   margin :6px ;   | |||
   padding:8px;  |    padding:8px;  | ||
}  | }  | ||
body, mw-body {  | |||
body,   | |||
   margin: auto;  |    margin: auto;  | ||
}  | }  | ||
body, .toc, .toccolours, mw-body, .mw-warning  {  | |||
  padding:1mm;  | |||
  border:1px solid;  | |||
}  | |||
.mw-content-ltr.mw-highlight-lines pre, .mw-content-ltr.content .mw-highlight-lines pre {  | .mw-content-ltr.mw-highlight-lines pre, .mw-content-ltr.content .mw-highlight-lines pre {  | ||
   box-shadow:none;  |    box-shadow:none;  | ||
   padding-left: 0.0em;  |    padding-left: 0.0em;  | ||
}  | }  | ||
pre, .preSpan, .preSiv {  | |||
pre, .preSpan, .preSiv {   | |||
   font-family: monospace sans-serif;  |    font-family: monospace sans-serif;  | ||
   margin : 0 ;  |    margin : 0 ;  | ||
   padding : 0 ;  |    padding : 0 ;  | ||
   font-size: 10pt  |    font-size: 10pt;  | ||
   box-shadow:none;  |    box-shadow:none;  | ||
   /* display: block; */  |    /* display: block; */  | ||
| Ligne 485 : | Ligne 447 : | ||
/* fig figc */  | /* fig figc */  | ||
center.figCenter {    | center.figCenter {  | ||
   margin:0em;  |    margin:0em;  | ||
   padding:0.0em;  | |||
   padding:0.0em;    | |||
}  | }  | ||
/* Introduction */  | /* Introduction */  | ||
div.center {text-align: center }  | div.center {text-align: center }  | ||
#toc {  | #toc {  | ||
   background-image: None  |    background-image: None;  | ||
}  | }  | ||
span.cNumParTag,  | span.cNumParTag,  | ||
span.parTag,  | span.parTag,  | ||
| Ligne 525 : | Ligne 482 : | ||
span.defineEq,  | span.defineEq,  | ||
span.notationEq  | span.notationEq  | ||
{    | {  | ||
   border-radius:0.5em;  |    border-radius:0.5em;  | ||
   border-style:solid;  |    border-style:solid;  | ||
| Ligne 532 : | Ligne 488 : | ||
   padding:0.1em;  |    padding:0.1em;  | ||
   margin:0.1em;  |    margin:0.1em;  | ||
}  | }  | ||
span.cNumParTag2 {    | span.cNumParTag2 {  | ||
   border-radius:0.5em;  |    border-radius:0.5em;  | ||
   border-style:solid;  |    border-style:solid;  | ||
| Ligne 543 : | Ligne 497 : | ||
   padding:0.2em;  |    padding:0.2em;  | ||
   margin:0.2em;  |    margin:0.2em;  | ||
}  | |||
/* notationEq define notation by equivalence */  | |||
span.notationEq {  | |||
  box-shadow: none; /* TODO */  | |||
}  | |||
pre {  | |||
  line-height: 100%;  | |||
}  | |||
/******************************************************************************/  | |||
@media screen{  | |||
/******************************************************************************/  | |||
/****************************** dark colors ***********************************/  | |||
/*  | |||
h1, h2, h3, h4, h5, h6  {  | |||
	border-color:#8BB6C4;  | |||
	color:#000000;  | |||
}  | |||
*/  | |||
/* https://www.mediawiki.org/wiki/Topic:Vjttqs8vp9q2gn9q  | |||
.syntaxhighlight-custom-color pre { background-color: black; }  | |||
.syntaxhighlight-custom-color pre > font { color: red; }  | |||
*/  | |||
/* cParBase */  | |||
.parBaseTab, table.cParBaseTab {  | |||
  background-color:transparent;  | |||
}  | |||
.parBaseTab2,table.cParBaseTab2 {  | |||
  background-color:transparent;  | |||
}   | |||
.parBaseTabTdR, .parBaseTabTdRHalf, cParBaseTdR, .parBaseTabTdR2, td.cParBaseTdR2 {  | |||
  background-color:transparent;  | |||
}  | |||
span.cNumParTitle,  | |||
  span.parTitle,  | |||
  span.anTitle,  | |||
  span.defTitle,  | |||
  span.exTitle,  | |||
  span.exoTitle,  | |||
  span.notTitle,  | |||
  span.qpTitle,  | |||
  span.rdoTitle,  | |||
  span.rdnTitle,  | |||
  span.rqTitle,  | |||
  span.todoTitle,  | |||
  span.cslTitle,  | |||
  span.hypTitle,  | |||
  span.assTitle,  | |||
  span.proTitle,  | |||
  span.theTitle,  | |||
  span.axiomTitle,  | |||
  span.lemmeTitle,  | |||
  span.propTitle,  | |||
  span.conjTitle  | |||
{  | |||
  border-color:#D0D0D0;  | |||
  background-color:transparent;  | |||
  /* color:#8080ff */  | |||
}  | |||
span.cNumParTitle2  | |||
 {  | |||
  border-color:#D0D0D0;  | |||
  background-color:transparent;  | |||
  /*color:#000000*/  | |||
}  | |||
.figcImgTabTd, .figImgTabTd, td.figImgTd, td.figcImgTd {  | |||
  background-color:transparent;  | |||
}  | |||
span.cNumParTag,  | |||
span.parTag,  | |||
span.anTag,  | |||
span.defTag,  | |||
span.exTag,  | |||
span.exoTag,  | |||
span.notTag,  | |||
span.qpTag,  | |||
span.rdoTag,  | |||
span.rdnTag,  | |||
span.rqTag,  | |||
span.todoTag,  | |||
span.cslTag,  | |||
span.hypTag,  | |||
span.assTag,  | |||
span.proTag,  | |||
span.theTag,  | |||
span.axiomTag,  | |||
span.lemmeTag,  | |||
span.propTag,  | |||
span.conjTag,  | |||
span.defineEq,  | |||
span.notationEq  | |||
{  | |||
  color : #88f ;  | |||
}  | |||
.cadreDouble  | |||
{  | |||
  background-color:transparent;  | |||
  border-color: #404040;  | |||
}  | |||
.cadreSimple  | |||
{  | |||
  background-color:transparent;  | |||
  border-color: #404040;  | |||
}  | |||
.cadreSimpleD  | |||
{  | |||
  background-color:transparent;  | |||
  border-color: #404040;  | |||
}  | |||
.cadreSimpleT  | |||
{  | |||
  background-color:transparent;  | |||
  border-color: #404040;  | |||
}  | |||
body, .toc, .toccolours, mw-body, .mw-warning  {  | |||
  background-color:#020100;  | |||
  padding:1mm;  | |||
  border-color: #242;  | |||
}  | |||
#mw-panel, #mw-head{  | |||
  background-color:#222;  | |||
}  | |||
table, .wikitable, tbody, tr, td {  | |||
  background-color:transparent;  | |||
}  | |||
.mw-highlight .nv {  | |||
  color: #a9a7dd;  | |||
}  | |||
.mw-content-ltr.mw-highlight-lines pre, .mw-content-ltr.content .mw-highlight-lines pre {  | |||
  background-color:#000;  | |||
}  | |||
pre, .preSpan, .preSiv {  | |||
  background-color : #000;  | |||
  /* display: block; */  | |||
}  | |||
/* fig figc */  | |||
center.figCenter {  | |||
  background-color:#111;  | |||
}  | |||
/* Introduction */  | |||
span.buttonText {color:#808080;}  | |||
table.common_css_test { background-color:#FF8080; }  | |||
#toc {  | |||
  background-color : #222 ;  | |||
  color: #808080;  | |||
}  | |||
span.cNumParTag,  | |||
span.parTag,  | |||
span.anTag,  | |||
span.defTag,  | |||
span.exTag,  | |||
span.notTag,  | |||
span.qpTag,  | |||
span.rdoTag,  | |||
span.rdnTag,  | |||
span.rqTag,  | |||
span.todoTag,  | |||
span.cslTag,  | |||
span.hypTag,  | |||
span.assTag,  | |||
span.proTag,  | |||
span.theTag,  | |||
span.axiomTag,  | |||
span.lemmeTag,  | |||
span.propTag,  | |||
span.conjTag,  | |||
span.defineEq,  | |||
span.notationEq  | |||
{  | |||
  border-color:#D0D0D0;  | |||
  background-color:#333;  | |||
}  | |||
span.cNumParTag2 {  | |||
  border-color:#444;  | |||
   background-color:#644;  |    background-color:#644;  | ||
}  | }  | ||
| Ligne 549 : | Ligne 692 : | ||
span.parTag { background-color:#442;}  | span.parTag { background-color:#442;}  | ||
span.parTitle {background:#442;}  | span.parTitle {background:#442;}  | ||
/* An */  | /* An */  | ||
span.anTag { background-color:#844;}  | span.anTag { background-color:#844;}  | ||
span.anTitle {background:#844;}  | span.anTitle {background:#844;}  | ||
/* Def */  | /* Def */  | ||
span.defTag { background-color:#642;}  | span.defTag { background-color:#642;}  | ||
span.defTitle {background:#642;}    | span.defTitle {background:#642;}  | ||
/* ex */  | /* ex */  | ||
span.exTag { background-color:#242;}  | span.exTag { background-color:#242;}  | ||
| Ligne 569 : | Ligne 712 : | ||
span.notTag { background-color:#464;}  | span.notTag { background-color:#464;}  | ||
span.notTitle {background:#464;}  | span.notTitle {background:#464;}  | ||
/* Qp */  | /* Qp */  | ||
span.qpTag { background-color:#842;}  | span.qpTag { background-color:#842;}  | ||
span.qpTitle {background:#842;}  | span.qpTitle {background:#842;}  | ||
/* RDo */  | /* RDo */  | ||
span.rdoTag { background-color:#446;}  | span.rdoTag { background-color:#446;}  | ||
span.rdoTitle {background:#446;}  | span.rdoTitle {background:#446;}  | ||
/* RDon't */  | /* RDon't */  | ||
span.rdnTag { background-color:#844;}  | span.rdnTag { background-color:#844;}  | ||
span.rdnTitle {background:#844;}  | span.rdnTitle {background:#844;}  | ||
/* Rq */  | /* Rq */  | ||
span.rqTag { background-color:#864;}  | span.rqTag { background-color:#864;}  | ||
span.rqTitle {background:#864;}  | span.rqTitle {background:#864;}  | ||
/* Todo */  | /* Todo */  | ||
span.todoTag { background-color:#884;}  | span.todoTag { background-color:#884;}  | ||
span.todoTitle {background:#884;}  | span.todoTitle {background:#884;}  | ||
/* CSl */  | /* CSl */  | ||
span.cslTag { background-color:#464;}  | span.cslTag { background-color:#464;}  | ||
span.cslTitle {background:#464;}  | span.cslTitle {background:#464;}  | ||
/* hyp hypothèse*/  | /* hyp hypothèse*/  | ||
span.hypTag { background-color:#887;}  | span.hypTag { background-color:#887;}  | ||
span.hypTitle {background:#887;}  | span.hypTitle {background:#887;}  | ||
/* ass assertion */  | /* ass assertion */  | ||
span.assTag { background-color:#777;}  | span.assTag { background-color:#777;}  | ||
span.assTitle {background:#777;}  | span.assTitle {background:#777;}  | ||
/* pro proposition */  | /* pro proposition */  | ||
span.proTag { background-color:#874;}  | span.proTag { background-color:#874;}  | ||
span.proTitle {background:#874;}  | span.proTitle {background:#874;}  | ||
/* the théorème */  | /* the théorème */  | ||
span.theTag { background-color:#833;}  | span.theTag { background-color:#833;}  | ||
span.theTitle {background:#833;}  | span.theTitle {background:#833;}  | ||
/* axiom */  | /* axiom */  | ||
span.axiomTag { background-color:#873;}  | span.axiomTag { background-color:#873;}  | ||
span.axiomTitle {background:#873;}  | span.axiomTitle {background:#873;}  | ||
/* lemme */  | /* lemme */  | ||
span.lemmeTag { background-color:#787;}  | span.lemmeTag { background-color:#787;}  | ||
span.lemmeTitle {background:#787;}  | span.lemmeTitle {background:#787;}  | ||
/* proposition */  | /* proposition */  | ||
span.propTag { background-color:#785}  | span.propTag { background-color:#785}  | ||
span.propTitle {background:#785;}  | span.propTitle {background:#785;}  | ||
/* conjecture */  | /* conjecture */  | ||
span.conjTag { background-color:#876;}  | span.conjTag { background-color:#876;}  | ||
span.conjTitle {background:#876;}  | span.conjTitle {background:#876;}  | ||
/* defineEq define by equivalence */  | /* defineEq define by equivalence */  | ||
span.defineEq {    | span.defineEq {  | ||
   background-color:#468;  |    background-color:#468;  | ||
   border-color:#468;  |    border-color:#468;  | ||
}  | }  | ||
span.notationEq {  | |||
span.notationEq {    | |||
   background-color:#474;  |    background-color:#474;  | ||
   border-color:#474;  |    border-color:#474;  | ||
}  | }  | ||
body,html, .mw-body, .toc, #toc, h1, h2, h3, h4, h5, h6, mw-panel,  #mw-panel, #mw-head {  | |||
background-color:#333;  | |||
color: #C4C0C8;   | |||
}  | |||
b { color: #F8F8FF; }  | |||
a { color: #8d4; }  | |||
a:link { color: #8d4; }  | |||
a:hover { color: #af8;}  | |||
a:active {color: #afa;}  | |||
a:visited { color: #d84;}  | |||
a:visited:hover{ color: #fb8;}  | |||
/* matht */  | |||
.mw-content{ background-color:#888; }  | |||
/******************************************************************************/  | |||
} /* end media screen */  | |||
/******************************************************************************/  | |||
Version du 29 novembre 2023 à 17:20
/* Commentaires */
/* Le CSS placé ici sera appliqué à tous les habillages. */
/* @import url("https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css"); */
/* * {font-family: courier new} */
/*
  # élement unique
  . class
*/
/* html,head,body{ width:*} */
/* #mw-header-container */
html, title, head, br, il, tr, th, table, p, omg, ihr, body, td ,
  center,h1, h2, h3, h4, h5, h6, .mw-headline, div
{
  /* font-family: Calibri arial dejavusans dejavu sans; */
  font-family: Calibri, Candara, Segoe, Segoe UI, Optima, Arial, sans-serif;
  font-size:12pt;
  margin : 0pt;
  padding : 0pt;
  }
dl, dt, dd, ul, ol, li, .mw-body
{
  margin-top : 0;
  margin-bottom : 0;
  padding-top : 0;
  padding-bottom : 0;
}
/*
ul, ol {
list-style-position: inside;
}
*/
#bodyContent{
padding:0;
min-width : 180mm;
}
#content{
padding: 5mm ;
width : 210mm;
margin : 5mm ;
}
#mw-content-text {
padding: 1mm;
}
#mw-head{
min-width : 220mm;
}
#mw-panel {
min-width : 10.1em;
margin: 0mm;
}
/*
h1, h2, h3, h4, h5, h6  {
max-width : 210mm;
min-width : 10mm;
font-size : 105%;
padding: 0.05em;
margin : 0.05em;
border-radius:5px;
border-style:solid;
border-width:1px;
vertical-align:middle;
}
*/
h1, h2, h3, h4, h5, h6, .mw-headline-number, .mw-headline
{
  vertical-align:middle;
}
.mw-body h1, .mw-body h2, .mw-body h3, .mw-body h4, .mw-body h5, .mw-body h6{
margin : 0.1em;
}
.mw-editsection {
display: inline;
}
h1, .mw-body h1 {font-size:120%; font-weight:bold;}
h2, .mw-body h2 {font-size:115%; font-weight:bold;}
h3, .mw-body h3 {font-size:110%; font-weight:bold;margin-left:2em;}
h4, .mw-body h4 {font-size:108%; font-weight:bold;margin-left:4em;}
h5, .mw-body h5 {font-size:106%; font-weight:bold;margin-left:6em;}
h6, .mw-body h6 {font-size:103%; font-weight:bold;margin-left:8em;}
.inMarg, .parBaseTabTdR2,
  .parBaseTabTdR,
  .parBaseTabTdRHalf,
  .parBaseTabTdL2,
  .parBaseTabTdL,
  .parBaseTabTd,
  .parBaseTabTh {
  /*display:inline-block; */
  display: table-cell;
}
/* table with div */
.tab            { display: table; }
.tabTr          { display: table-row; }
.tabTh          { display: table-header-group; }
.tabBody        { display: table-row-group; }
.tabFoot        { display: table-footer-group; }
.tabTd, .tabTh  { display: table-cell; }
/* cParBase */
.parBaseTab, table.cParBaseTab {
  font-size:100%;
  margin-top:0em;
  margin-bottom:0.5em;
  margin-left:1em;
  margin-right:auto;
  padding:0em;
  border:0px;
  border-radius:0.0em;
}
.parBaseTab2,table.cParBaseTab2 {
  font-size:100%;
  margin-top:0em;
  margin-bottom:0.5em;
  margin-left:0;
  margin-right:auto;
  padding:0em;
  border:0px;
  border-radius:0.0em;
}
.min, .parBaseTabTdL2, cParBaseTdL2, .parBaseTabTdL, cParBaseTdL {
font-size : 70%;
}
.Half, .headHalf {
font-size : 100%;
}
.full, .head, .parBaseTabTdR, .parBaseTabTdRHalf, .cParBaseTdR {
font-size : 100%;
}
.double, .headDouble, .parBaseTabTdR2, .cParBaseTdR2 {
font-size : 100%;
}
.headHalf, .head, .headDouble {
    display:inline-block;
    vertical-align:middle;
}
.parBaseTabTdL, .cParBaseTdL, .parBaseTabTdL2, .cParBaseTdL2 {
  word-wrap:break-word;
  text-align:center;
  vertical-align:top;
  padding:0;
  margin:0em;
  margin-bottom:0.5em;
}
.parBaseTabTdR, .parBaseTabTdRHalf, cParBaseTdR, .parBaseTabTdR2, td.cParBaseTdR2 {
  word-wrap: break-word;
  padding:0.0em;
  padding-top:0;
  margin:0.0em;
  margin-bottom:0.5em;
  vertical-align:top;
  text-align:justify;
}
/********************************************************************/
.parBaseTab, .parBaseTab2 {
  display: table;
}
.parBaseTabTr {
  display: table-row;
}
.parBaseTabTh {
  display: table-header-group;
}
.parBaseTabBody {
  display: table-row-group;
}
.parBaseTabFoot {
  display: table-footer-group;
}
.inMarg, .parBaseTabTdR2,
  .parBaseTabTdR,
  .parBaseTabTdRHalf,
  .parBaseTabTdL2,
  .parBaseTabTdL,
  .parBaseTabTd,
  .parBaseTabTh{
  vertical-align:top;
}
.mw-headline-number {
  padding-right: 2mm;
}
/* cNumPar */
div.cNumParTitle {
  font-size:100%;
  padding:0em;
  margin:0em;
}
span.cNumParTitle,
  span.parTitle,
  span.anTitle,
  span.defTitle,
  span.exTitle,
  span.exoTitle,
  span.notTitle,
  span.qpTitle,
  span.rdoTitle,
  span.rdnTitle,
  span.rqTitle,
  span.todoTitle,
  span.cslTitle,
  span.hypTitle,
  span.assTitle,
  span.proTitle,
  span.theTitle,
  span.axiomTitle,
  span.lemmeTitle,
  span.propTitle,
  span.conjTitle
{
  border-radius:0.5em;
  border-style:solid;
  border-width:1pt;
  min-height:1em;
  padding-left:0.5em;
  padding-right:0.5em;
}
span.cNumParTitle2
 {
  border-radius:0.5em;
  border-style:solid;
  border-width:1pt;
  min-height:1em;
  padding-left:0.5em;
  padding-right:0.5em;
}
span.cNumParInfo {
  padding:0.2em;
  margin:0.2em;
}
.figcTab, .figTab table.figTable, table.figcTable {
  padding:0.0em;
}
.figTab table.figTable {
  margin:0.5em 0em 0.5em 0em;
}
.figcTitleTabTd, .figTitleTabTd, td.figTitleTd, td.figcTitleTd {
	padding-left:1em;
	padding-right:1em;
}
.figTab, .figcTab {
  display: table;
}
.figTabTr, .figcTabTr {
  display: table-row;
}
.figTabTh, .figcTabTh {
  display: table-header-group;
}
.figTabBody, .figcTabBody {
  display: table-row-group;
}
.figTabFoot, .figcTabFoot {
  display: table-footer-group;
}
.parBaseTabTdL, .cParBaseTdL, .parBaseTabTdL2, td.cParBaseTdL2,
  .figcTitleTabTd,
  .figcImgTabTd,
  .figTitleTabTd,
  .figImgTabTd,
  .figTabTd,
  .figTabTh  {
  display: table-cell;
  text-align: center;
}
.figcTitleTabTd, .figTitleTabTd {
  border-radius:0.5em;
}
.figcTab, table.figcTable {
  display: inline-table;
}
span.cNumParTag,
span.parTag,
span.anTag,
span.defTag,
span.exTag,
span.exoTag,
span.notTag,
span.qpTag,
span.rdoTag,
span.rdnTag,
span.rqTag,
span.todoTag,
span.cslTag,
span.hypTag,
span.assTag,
span.proTag,
span.theTag,
span.axiomTag,
span.lemmeTag,
span.propTag,
span.conjTag,
span.defineEq,
span.notationEq
{
  font-size:70%;
}
.atCounter{
font-family:serif;
font-size:70%;
}
.MathJax{
/* !veryimportant TODO */
font-size: 1.01em!veryimportant ;
}
/******************************************************************/
/* width */
/********************************************************************/
/*                             width                                */
/*
0        1         2         3         4         5         6         7
1234567890123456789012345678901234567890123456789012345678901234567890
Voici un titre très très long et assez long pour dépasser le nombre maximal de
caractères comme vous pouvez le constater.
*/
.inMarg { max-width : auto; }
.tabTd, .tabTh {
min-width: 10mm;
}
#pw-panel{
padding-left:2mm;
}
.parBaseTabTdL, .cParBaseTdL, .parBaseTabTdL2, .cParBaseTdL2
{
  width: 30mm ;
}
.min {
  min-width: 10mm ;
}
.half, .headHalf, .full, .head,
    .figcImgTabTd, .figImgTabTd, td.figImgTd, td.figcImgTd, .parBaseTabTdRHalf
{
  width : 75mm ;
}
.parBaseTabTdR, .cParBaseTdR
{
  width : 150mm;
}
.double, .headDouble,.parBaseTabTdR2,.cParBaseTdR2
{
  width : 180mm;
}
.cadreDouble
{
  text-align:middle;
  border:6px solid;
  margin :1px ;
  padding:2px ;
}
.cadreSimple
{
  text-align:middle;
  border:2px solid;
  margin :2px ;
  padding:8px;
}
.cadreSimpleD
{
  text-align:middle;
  border:1px solid;
  margin :4px ;
  padding:8px;
}
.cadreSimpleT
{
  text-align:middle;
  border:1px solid;
  margin :6px ;
  padding:8px;
}
body, mw-body {
  margin: auto;
}
body, .toc, .toccolours, mw-body, .mw-warning  {
  padding:1mm;
  border:1px solid;
}
.mw-content-ltr.mw-highlight-lines pre, .mw-content-ltr.content .mw-highlight-lines pre {
  box-shadow:none;
  padding-left: 0.0em;
}
pre, .preSpan, .preSiv {
  font-family: monospace sans-serif;
  margin : 0 ;
  padding : 0 ;
  font-size: 10pt;
  box-shadow:none;
  /* display: block; */
}
/* fig figc */
center.figCenter {
  margin:0em;
  padding:0.0em;
}
/* Introduction */
div.center {text-align: center }
#toc {
  background-image: None;
}
span.cNumParTag,
span.parTag,
span.anTag,
span.defTag,
span.exTag,
span.notTag,
span.qpTag,
span.rdoTag,
span.rdnTag,
span.rqTag,
span.todoTag,
span.cslTag,
span.hypTag,
span.assTag,
span.proTag,
span.theTag,
span.axiomTag,
span.lemmeTag,
span.propTag,
span.conjTag,
span.defineEq,
span.notationEq
{
  border-radius:0.5em;
  border-style:solid;
  border-width:1pt;
  padding:0.1em;
  margin:0.1em;
}
span.cNumParTag2 {
  border-radius:0.5em;
  border-style:solid;
  border-width:1pt;
  font-size:70%;
  padding:0.2em;
  margin:0.2em;
}
/* notationEq define notation by equivalence */
span.notationEq {
  box-shadow: none; /* TODO */
}
pre {
  line-height: 100%;
}
/******************************************************************************/
@media screen{
/******************************************************************************/
/****************************** dark colors ***********************************/
/*
h1, h2, h3, h4, h5, h6  {
	border-color:#8BB6C4;
	color:#000000;
}
*/
/* https://www.mediawiki.org/wiki/Topic:Vjttqs8vp9q2gn9q
.syntaxhighlight-custom-color pre { background-color: black; }
.syntaxhighlight-custom-color pre > font { color: red; }
*/
/* cParBase */
.parBaseTab, table.cParBaseTab {
  background-color:transparent;
}
.parBaseTab2,table.cParBaseTab2 {
  background-color:transparent;
} 
.parBaseTabTdR, .parBaseTabTdRHalf, cParBaseTdR, .parBaseTabTdR2, td.cParBaseTdR2 {
  background-color:transparent;
}
span.cNumParTitle,
  span.parTitle,
  span.anTitle,
  span.defTitle,
  span.exTitle,
  span.exoTitle,
  span.notTitle,
  span.qpTitle,
  span.rdoTitle,
  span.rdnTitle,
  span.rqTitle,
  span.todoTitle,
  span.cslTitle,
  span.hypTitle,
  span.assTitle,
  span.proTitle,
  span.theTitle,
  span.axiomTitle,
  span.lemmeTitle,
  span.propTitle,
  span.conjTitle
{
  border-color:#D0D0D0;
  background-color:transparent;
  /* color:#8080ff */
}
span.cNumParTitle2
 {
  border-color:#D0D0D0;
  background-color:transparent;
  /*color:#000000*/
}
.figcImgTabTd, .figImgTabTd, td.figImgTd, td.figcImgTd {
  background-color:transparent;
}
span.cNumParTag,
span.parTag,
span.anTag,
span.defTag,
span.exTag,
span.exoTag,
span.notTag,
span.qpTag,
span.rdoTag,
span.rdnTag,
span.rqTag,
span.todoTag,
span.cslTag,
span.hypTag,
span.assTag,
span.proTag,
span.theTag,
span.axiomTag,
span.lemmeTag,
span.propTag,
span.conjTag,
span.defineEq,
span.notationEq
{
  color : #88f ;
}
.cadreDouble
{
  background-color:transparent;
  border-color: #404040;
}
.cadreSimple
{
  background-color:transparent;
  border-color: #404040;
}
.cadreSimpleD
{
  background-color:transparent;
  border-color: #404040;
}
.cadreSimpleT
{
  background-color:transparent;
  border-color: #404040;
}
body, .toc, .toccolours, mw-body, .mw-warning  {
  background-color:#020100;
  padding:1mm;
  border-color: #242;
}
#mw-panel, #mw-head{
  background-color:#222;
}
table, .wikitable, tbody, tr, td {
  background-color:transparent;
}
.mw-highlight .nv {
  color: #a9a7dd;
}
.mw-content-ltr.mw-highlight-lines pre, .mw-content-ltr.content .mw-highlight-lines pre {
  background-color:#000;
}
pre, .preSpan, .preSiv {
  background-color : #000;
  /* display: block; */
}
/* fig figc */
center.figCenter {
  background-color:#111;
}
/* Introduction */
span.buttonText {color:#808080;}
table.common_css_test { background-color:#FF8080; }
#toc {
  background-color : #222 ;
  color: #808080;
}
span.cNumParTag,
span.parTag,
span.anTag,
span.defTag,
span.exTag,
span.notTag,
span.qpTag,
span.rdoTag,
span.rdnTag,
span.rqTag,
span.todoTag,
span.cslTag,
span.hypTag,
span.assTag,
span.proTag,
span.theTag,
span.axiomTag,
span.lemmeTag,
span.propTag,
span.conjTag,
span.defineEq,
span.notationEq
{
  border-color:#D0D0D0;
  background-color:#333;
}
span.cNumParTag2 {
  border-color:#444;
  background-color:#644;
}
/* par */
span.parTag { background-color:#442;}
span.parTitle {background:#442;}
/* An */
span.anTag { background-color:#844;}
span.anTitle {background:#844;}
/* Def */
span.defTag { background-color:#642;}
span.defTitle {background:#642;}
/* ex */
span.exTag { background-color:#242;}
span.exTitle {background:#242;}
/* exo */
span.exoTag { background-color:#433;}
span.exoTitle {background:#433;}
/* Not */
span.notTag { background-color:#464;}
span.notTitle {background:#464;}
/* Qp */
span.qpTag { background-color:#842;}
span.qpTitle {background:#842;}
/* RDo */
span.rdoTag { background-color:#446;}
span.rdoTitle {background:#446;}
/* RDon't */
span.rdnTag { background-color:#844;}
span.rdnTitle {background:#844;}
/* Rq */
span.rqTag { background-color:#864;}
span.rqTitle {background:#864;}
/* Todo */
span.todoTag { background-color:#884;}
span.todoTitle {background:#884;}
/* CSl */
span.cslTag { background-color:#464;}
span.cslTitle {background:#464;}
/* hyp hypothèse*/
span.hypTag { background-color:#887;}
span.hypTitle {background:#887;}
/* ass assertion */
span.assTag { background-color:#777;}
span.assTitle {background:#777;}
/* pro proposition */
span.proTag { background-color:#874;}
span.proTitle {background:#874;}
/* the théorème */
span.theTag { background-color:#833;}
span.theTitle {background:#833;}
/* axiom */
span.axiomTag { background-color:#873;}
span.axiomTitle {background:#873;}
/* lemme */
span.lemmeTag { background-color:#787;}
span.lemmeTitle {background:#787;}
/* proposition */
span.propTag { background-color:#785}
span.propTitle {background:#785;}
/* conjecture */
span.conjTag { background-color:#876;}
span.conjTitle {background:#876;}
/* defineEq define by equivalence */
span.defineEq {
  background-color:#468;
  border-color:#468;
}
span.notationEq {
  background-color:#474;
  border-color:#474;
}
body,html, .mw-body, .toc, #toc, h1, h2, h3, h4, h5, h6, mw-panel,  #mw-panel, #mw-head {
background-color:#333;
color: #C4C0C8; 
}
b { color: #F8F8FF; }
a { color: #8d4; }
a:link { color: #8d4; }
a:hover { color: #af8;}
a:active {color: #afa;}
a:visited { color: #d84;}
a:visited:hover{ color: #fb8;}
/* matht */
.mw-content{ background-color:#888; }
/******************************************************************************/
} /* end media screen */
/******************************************************************************/