Différences entre les versions de « MediaWiki:Common.css »
De Wikip
m (1 révision importée)  | 
				|||
| 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} */  | ||
html, title, head, br, il, tr, th, table, p, li, ol, omg, ihr, body, td , center,h1, h2, h3, h4,    | html, title, head, br, il, tr, th, table, p, li, ol, omg, ihr, body, td , center,h1, h2, h3, h4,    | ||
h5, h6, .mv-headline, div, span { font-family: Calibri arial dejavusans dejavu sans; font-size:10pt;}  | h5, h6, .mv-headline, div, span { font-family: Calibri arial dejavusans dejavu sans; font-size:10pt;}  | ||
| Ligne 11 : | Ligne 13 : | ||
Éclipsée peut-être par la célébrité du nom et l’éclat    | Éclipsée peut-être par la célébrité du nom et l’éclat    | ||
*/  | */  | ||
/* Introduction */  | /* Introduction */  | ||
span.buttonText {color:#808080;}  | span.buttonText {color:#808080;}  | ||
table.common_css_test { background-color:#FF8080; }  | table.common_css_test { background-color:#FF8080; }  | ||
div.center {text-align: center }  | div.center {text-align: center }  | ||
/* table with div */  | /* table with div */  | ||
.tab            { display: table; }  | .tab            { display: table; }  | ||
| Ligne 26 : | Ligne 28 : | ||
.tabFoot        { display: table-footer-group; }  | .tabFoot        { display: table-footer-group; }  | ||
.tabTd, .tabTh  { display: table-cell;  min-width: 1cm;}  | .tabTd, .tabTh  { display: table-cell;  min-width: 1cm;}  | ||
/* cParBase */  | /* cParBase */  | ||
.parBaseTab, table.cParBaseTab {    | .parBaseTab, table.cParBaseTab {    | ||
| Ligne 39 : | Ligne 41 : | ||
   border-radius:0.0em;  |    border-radius:0.0em;  | ||
}  | }  | ||
.parBaseTab2,table.cParBaseTab2 {    | .parBaseTab2,table.cParBaseTab2 {    | ||
   font-size:100%;  |    font-size:100%;  | ||
| Ligne 60 : | Ligne 62 : | ||
body, .mv-body{  | body, .mv-body{  | ||
font-size : 100%;  | font-size : 100%;  | ||
max-width :   | max-width : 28cm;  | ||
min-width : 1cm;  | min-width : 1cm;  | ||
padding: 0.2cm;  | padding: 0.2cm;  | ||
}  | }  | ||
h1, h2, h3, h4, h5, h6  | h1, h2, h3, h4, h5, h6  {  | ||
font-size : 110%;  | font-size : 110%;  | ||
max-width :   | max-width : 21cm;  | ||
min-width : 1cm;  | min-width : 1cm;  | ||
padding  : 0em;  | padding  : 0em;  | ||
| Ligne 76 : | Ligne 78 : | ||
margin-bottom : 0.1cm;  | margin-bottom : 0.1cm;  | ||
}  | }  | ||
.inMarg {  | .inMarg {  | ||
max-width :   | max-width : auto;  | ||
}  | }  | ||
.min, .parBaseTabTdL2, cParBaseTdL2, .parBaseTabTdL, cParBaseTdL {  | .min, .parBaseTabTdL2, cParBaseTdL2, .parBaseTabTdL, cParBaseTdL {  | ||
font-size : 75%;  | font-size : 75%;  | ||
width : 3cm;  | width : 3cm;  | ||
}  | }  | ||
.Half, .headHalf {  | .Half, .headHalf {  | ||
font-size : 100%;  | font-size : 100%;  | ||
width : 4.5cm;  | width : 4.5cm;  | ||
}  | }  | ||
.full, .head, .parBaseTabTdR, .cParBaseTdR {  | .full, .head, .parBaseTabTdR, .cParBaseTdR {  | ||
font-size : 100%;  | font-size : 100%;  | ||
width : 9cm;  | width : 9cm;  | ||
}  | }  | ||
.double, .headDouble, .parBaseTabTdR2, .cParBaseTdR2 {  | .double, .headDouble, .parBaseTabTdR2, .cParBaseTdR2 {  | ||
font-size : 100%;  | font-size : 100%;  | ||
width : 18cm;  | width : 18cm;  | ||
}  | }  | ||
.headHalf, .head, .headDouble {  | .headHalf, .head, .headDouble {  | ||
     display:inline-block;  |      display:inline-block;  | ||
     vertical-align:  |      vertical-align:middle;  | ||
}  | }  | ||
.parBaseTabTdL, .cParBaseTdL, .parBaseTabTdL2, td.cParBaseTdL2 {    | .parBaseTabTdL, .cParBaseTdL, .parBaseTabTdL2, td.cParBaseTdL2 {    | ||
   word-wrap:break-word;  |    word-wrap:break-word;  | ||
| Ligne 113 : | Ligne 115 : | ||
   margin:0em;  |    margin:0em;  | ||
}    | }    | ||
.parBaseTabTdR, cParBaseTdR, .parBaseTabTdR2, td.cParBaseTdR2 {    | .parBaseTabTdR, cParBaseTdR, .parBaseTabTdR2, td.cParBaseTdR2 {    | ||
   word-wrap: break-word;  |    word-wrap: break-word;  | ||
   background-color:transparent;  |    background-color:transparent;  | ||
| Ligne 139 : | Ligne 140 : | ||
   display: table-footer-group;    |    display: table-footer-group;    | ||
}  | }  | ||
.inMarg, .parBaseTabTdR2,    | h1, h2, h3, h4, h5, h6, .inMarg, .parBaseTabTdR2,    | ||
   .parBaseTabTdR,    |    .parBaseTabTdR,    | ||
   .parBaseTabTdL2,    |    .parBaseTabTdL2,    | ||
   .parBaseTabTdL,    |    .parBaseTabTdL,    | ||
   .parBaseTabTd,    |    .parBaseTabTd,    | ||
   .parBaseTabTh, .mw-headline-number    |    .parBaseTabTh,    | ||
display: table-cell;    |   .mw-headline-number,  | ||
  .mw-headline  | |||
{   | |||
  vertical-align:middle;     | |||
  display:inline-block;  | |||
  /* display: table-cell; */  | |||
}  | |||
.  .mw-headline  | |||
{  | |||
  width:21cm;  | |||
}  | }  | ||
.mw-headline-number {  | .mw-headline-number {  | ||
padding-right: 0.  |   padding-right: 0.25cm;  | ||
  width : 2.25cm;  | |||
}  | }  | ||
/* cNumPar */  | /* cNumPar */  | ||
div.cNumParTitle {  | div.cNumParTitle {  | ||
| Ligne 157 : | Ligne 168 : | ||
   margin:0em;  |    margin:0em;  | ||
}     | }     | ||
/*  | /*  | ||
0        1         2         3         4         5         6         7  | 0        1         2         3         4         5         6         7  | ||
| Ligne 165 : | Ligne 176 : | ||
font-size:75%;  | font-size:75%;  | ||
}  | }  | ||
span.cNumParTitle,    | span.cNumParTitle,    | ||
   span.parTitle,    |    span.parTitle,    | ||
| Ligne 197 : | Ligne 208 : | ||
   color:#000000  |    color:#000000  | ||
}  | }  | ||
/*  | /*  | ||
0        1         2         3         4         5         6         7  | 0        1         2         3         4         5         6         7  | ||
1234567890123456789012345678901234567890123456789012345678901234567890  | 1234567890123456789012345678901234567890123456789012345678901234567890  | ||
*/  | */  | ||
span.cNumParTitle2  | span.cNumParTitle2  | ||
  {  |   {  | ||
| Ligne 215 : | Ligne 226 : | ||
   color:#000000  |    color:#000000  | ||
}  | }  | ||
span.cNumParTag,  | span.cNumParTag,  | ||
span.parTag,  | span.parTag,  | ||
| Ligne 247 : | Ligne 258 : | ||
   background-color:#C0C0C0;  |    background-color:#C0C0C0;  | ||
}  | }  | ||
span.cNumParTag2 {    | span.cNumParTag2 {    | ||
   border-color:#D0D0D0;    |    border-color:#D0D0D0;    | ||
| Ligne 262 : | Ligne 273 : | ||
   margin:0.2em;    |    margin:0.2em;    | ||
}  | }  | ||
/* par */  | /* par */  | ||
span.parTag { background-color:#E8E8FF;}  | span.parTag { background-color:#E8E8FF;}  | ||
span.parTitle {background:#E8E8FF;}  | span.parTitle {background:#E8E8FF;}  | ||
/* An */  | /* An */  | ||
span.anTag { background-color:#FF6060;}  | span.anTag { background-color:#FF6060;}  | ||
span.anTitle {background:#FF6060;}  | span.anTitle {background:#FF6060;}  | ||
/* Def */  | /* Def */  | ||
span.defTag { background-color:#A8C8FF;}  | span.defTag { background-color:#A8C8FF;}  | ||
span.defTitle {background:#A8C8FF;}    | span.defTitle {background:#A8C8FF;}    | ||
/* ex */  | /* ex */  | ||
span.exTag { background-color:#E8FFE8;}  | span.exTag { background-color:#E8FFE8;}  | ||
span.exTitle {background:#E8FFE8;}  | span.exTitle {background:#E8FFE8;}  | ||
/* Not */  | /* Not */  | ||
span.notTag { background-color:#80FF80;}  | span.notTag { background-color:#80FF80;}  | ||
span.notTitle {background:#80FF80;}  | span.notTitle {background:#80FF80;}  | ||
/* Qp */  | /* Qp */  | ||
span.qpTag { background-color:#FFB080;}  | span.qpTag { background-color:#FFB080;}  | ||
span.qpTitle {background:#FFB080;}  | span.qpTitle {background:#FFB080;}  | ||
/* RDo */  | /* RDo */  | ||
span.rdoTag { background-color:#C0C0FF;}  | span.rdoTag { background-color:#C0C0FF;}  | ||
span.rdoTitle {background:#C0C0FF;}  | span.rdoTitle {background:#C0C0FF;}  | ||
/* RDon't */  | /* RDon't */  | ||
span.rdnTag { background-color:#FF8080;}  | span.rdnTag { background-color:#FF8080;}  | ||
span.rdnTitle {background:#FF8080;}  | span.rdnTitle {background:#FF8080;}  | ||
/* Rq */  | /* Rq */  | ||
span.rqTag { background-color:#FFE0C0;}  | span.rqTag { background-color:#FFE0C0;}  | ||
span.rqTitle {background:#FFE0C0;}  | span.rqTitle {background:#FFE0C0;}  | ||
/* Todo */  | /* Todo */  | ||
span.todoTag { background-color:#FFFF80;}  | span.todoTag { background-color:#FFFF80;}  | ||
span.todoTitle {background:#FFFF80;}  | span.todoTitle {background:#FFFF80;}  | ||
/* CSl */  | /* CSl */  | ||
span.cslTag { background-color:#C0FFC0;}  | span.cslTag { background-color:#C0FFC0;}  | ||
span.cslTitle {background:#b0efb0;}  | span.cslTitle {background:#b0efb0;}  | ||
/* hyp hypothèse*/  | /* hyp hypothèse*/  | ||
span.hypTag { background-color:#FFFFA8;}  | span.hypTag { background-color:#FFFFA8;}  | ||
span.hypTitle {background:#EFEFB8;}  | span.hypTitle {background:#EFEFB8;}  | ||
/* ass assertion */  | /* ass assertion */  | ||
span.assTag { background-color:#F0F0F0;}  | span.assTag { background-color:#F0F0F0;}  | ||
span.assTitle {background:#E0E0E0;}  | span.assTitle {background:#E0E0E0;}  | ||
/* pro proposition */  | /* pro proposition */  | ||
span.proTag { background-color:#FFE0A8;}  | span.proTag { background-color:#FFE0A8;}  | ||
span.proTitle {background:#FEE0A7;}  | span.proTitle {background:#FEE0A7;}  | ||
/* the théorème */  | /* the théorème */  | ||
span.theTag { background-color:#FFB0B0;}  | span.theTag { background-color:#FFB0B0;}  | ||
span.theTitle {background:#EFA0A0;}  | span.theTitle {background:#EFA0A0;}  | ||
/* axiom */  | /* axiom */  | ||
span.axiomTag { background-color:#FFE0A8;}  | span.axiomTag { background-color:#FFE0A8;}  | ||
span.axiomTitle {background:#EFD0B8;}  | span.axiomTitle {background:#EFD0B8;}  | ||
/* lemme */  | /* lemme */  | ||
span.lemmeTag { background-color:#E0FFE0;}  | span.lemmeTag { background-color:#E0FFE0;}  | ||
span.lemmeTitle {background:#D0DFD0;}  | span.lemmeTitle {background:#D0DFD0;}  | ||
/* proposition */  | /* proposition */  | ||
span.propTag { background-color:#E0FFA8;}  | span.propTag { background-color:#E0FFA8;}  | ||
span.propTitle {background:#D0EFB8;}  | span.propTitle {background:#D0EFB8;}  | ||
/* conjecture */  | /* conjecture */  | ||
span.conjTag { background-color:#FFF0E8;}  | span.conjTag { background-color:#FFF0E8;}  | ||
span.conjTitle {background:#EFE0D8;}  | span.conjTitle {background:#EFE0D8;}  | ||
/* defineEq define by equivalence */  | /* defineEq define by equivalence */  | ||
span.defineEq {    | span.defineEq {    | ||
| Ligne 349 : | Ligne 360 : | ||
   border-color:#60DF80;  |    border-color:#60DF80;  | ||
}  | }  | ||
/* fig figc */  | /* fig figc */  | ||
center.figCenter {    | center.figCenter {    | ||
| Ligne 356 : | Ligne 367 : | ||
   padding:0.0em;    |    padding:0.0em;    | ||
}  | }  | ||
.figcTab, .figTab table.figTable, table.figcTable {    | .figcTab, .figTab table.figTable, table.figcTable {    | ||
   background-color:#E0E0F0;  |    background-color:#E0E0F0;  | ||
| Ligne 364 : | Ligne 375 : | ||
   margin:0.5em 0em 0.5em 0em;    |    margin:0.5em 0em 0.5em 0em;    | ||
}  | }  | ||
.figcImgTabTd, .figImgTabTd, td.figImgTd, td.figcImgTd {    | .figcImgTabTd, .figImgTabTd, td.figImgTd, td.figcImgTd {    | ||
   background-color:#FFFFFF;  |    background-color:#FFFFFF;  | ||
| Ligne 370 : | Ligne 381 : | ||
   max-width:65ch;    |    max-width:65ch;    | ||
}  | }  | ||
.figcTitleTabTd, .figTitleTabTd, td.figTitleTd, td.figcTitleTd {    | .figcTitleTabTd, .figTitleTabTd, td.figTitleTd, td.figcTitleTd {    | ||
   background-color:#E0E0F0;  |    background-color:#E0E0F0;  | ||
| Ligne 376 : | Ligne 387 : | ||
   padding-right:1em;    |    padding-right:1em;    | ||
}  | }  | ||
.figTab, .figcTab {    | .figTab, .figcTab {    | ||
   display: table;    |    display: table;    | ||
| Ligne 407 : | Ligne 418 : | ||
   display: inline-table;     |    display: inline-table;     | ||
}  | }  | ||
span.cNumParTag,  | span.cNumParTag,  | ||
span.parTag,  | span.parTag,  | ||
| Ligne 432 : | Ligne 443 : | ||
{    | {    | ||
   font-size:50%;  |    font-size:50%;  | ||
}  | |||
#rule {  | |||
    width: 2168px;  | |||
}  | |||
#rule img{  | |||
    max-width: 100%;  | |||
    max-height: 100%;  | |||
}  | }  | ||
Version du 11 mars 2019 à 14:02
/* Commentaires
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} */
 
html, title, head, br, il, tr, th, table, p, li, ol, omg, ihr, body, td , center,h1, h2, h3, h4, 
h5, h6, .mv-headline, div, span { font-family: Calibri arial dejavusans dejavu sans; font-size:10pt;}
/*
0        1         2         3         4         5         6         7
1234567890123456789012345678901234567890123456789012345678901234567890
Éclipsée peut-être par la célébrité du nom et l’éclat des diamants, l’histoire 
Éclipsée peut-être par la célébrité du nom et l’éclat 
*/
 
/* Introduction */
span.buttonText {color:#808080;}
 
table.common_css_test { background-color:#FF8080; }
 
div.center {text-align: center }
 
/* 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;  min-width: 1cm;}
 
/* cParBase */
.parBaseTab, table.cParBaseTab { 
  font-size:100%;
  margin-top:0em;
  margin-bottom:0.0em;
  margin-left:0;
  margin-right:auto;
  padding:0em;
  border:0px;
  background-color:transparent;
  border-radius:0.0em;
}
 
.parBaseTab2,table.cParBaseTab2 { 
  font-size:100%;
  margin-top:0em;
  margin-bottom:0.0em;
  margin-left:0;
  margin-right:auto;
  padding:0em;
  border:0px;
  background-color:#80FF80;
  border-radius:0.0em;
}
/********************************************************************/
/*                             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.
*/
body, .mv-body{
font-size : 100%;
max-width : 28cm;
min-width : 1cm;
padding: 0.2cm;
}
 
h1, h2, h3, h4, h5, h6  {
font-size : 110%;
max-width : 21cm;
min-width : 1cm;
padding  : 0em;
}
h1, h2, h3, h4, h5, h6 {
margin : 0cm;
margin-top : 0.2cm;
margin-bottom : 0.1cm;
}
 
.inMarg {
max-width : auto;
}
 
.min, .parBaseTabTdL2, cParBaseTdL2, .parBaseTabTdL, cParBaseTdL {
font-size : 75%;
width : 3cm;
}
 
.Half, .headHalf {
font-size : 100%;
width : 4.5cm;
}
 
.full, .head, .parBaseTabTdR, .cParBaseTdR {
font-size : 100%;
width : 9cm;
}
 
.double, .headDouble, .parBaseTabTdR2, .cParBaseTdR2 {
font-size : 100%;
width : 18cm;
}
 
.headHalf, .head, .headDouble {
    display:inline-block;
    vertical-align:middle;
}
 
.parBaseTabTdL, .cParBaseTdL, .parBaseTabTdL2, td.cParBaseTdL2 { 
  word-wrap:break-word;
  text-align:center;
  vertical-align:middle; 
  padding:0;
  margin:0em;
} 
 
.parBaseTabTdR, cParBaseTdR, .parBaseTabTdR2, td.cParBaseTdR2 { 
  word-wrap: break-word;
  background-color:transparent;
  padding:0.0em;
  padding-top:0;
  margin:0.0em;
  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; 
}
h1, h2, h3, h4, h5, h6, .inMarg, .parBaseTabTdR2, 
  .parBaseTabTdR, 
  .parBaseTabTdL2, 
  .parBaseTabTdL, 
  .parBaseTabTd, 
  .parBaseTabTh, 
  .mw-headline-number,
  .mw-headline
{ 
  vertical-align:middle;  
  display:inline-block;
  /* display: table-cell; */
}
.  .mw-headline
{
  width:21cm;
}
.mw-headline-number {
  padding-right: 0.25cm;
  width : 2.25cm;
}
 
/* cNumPar */
div.cNumParTitle {
  font-size:100%;
  padding:0em;
  margin:0em;
}  
 
/*
0        1         2         3         4         5         6         7
1234567890123456789012345678901234567890123456789012345678901234567890
*/
atCounter{
font-size:75%;
}
 
span.cNumParTitle, 
  span.parTitle, 
  span.anTitle, 
  span.defTitle, 
  span.exTitle, 
  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;
  border-radius:0.5em;
  border-style:solid;
  border-width:1pt;
  min-height:1em;
  padding-left:0.5em;
  padding-right:0.5em;
  background:#E8E8FF;
  color:#000000
}
 
/*
0        1         2         3         4         5         6         7
1234567890123456789012345678901234567890123456789012345678901234567890
*/
 
span.cNumParTitle2
 {
  border-color:#D0D0D0;
  border-radius:0.5em;
  border-style:solid;
  border-width:1pt;
  min-height:1em;
  padding-left:0.5em;
  padding-right:0.5em;
  background:#FFC0C0;
  color:#000000
}
 
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; 
  border-radius:0.5em;
  border-style:solid;
  border-width:1pt;
  padding:0.2em;
  margin:0.2em;
  background-color:#C0C0C0;
}
 
span.cNumParTag2 { 
  border-color:#D0D0D0; 
  border-radius:0.5em;
  border-style:solid;
  border-width:1pt;
  font-size:70%;
  padding:0.2em;
  margin:0.2em;
  background-color:#FFC0C0;
}
span.cNumParInfo { 
  padding:0.2em;
  margin:0.2em; 
}
 
/* par */
span.parTag { background-color:#E8E8FF;}
span.parTitle {background:#E8E8FF;}
 
/* An */
span.anTag { background-color:#FF6060;}
span.anTitle {background:#FF6060;}
 
/* Def */
span.defTag { background-color:#A8C8FF;}
span.defTitle {background:#A8C8FF;} 
 
/* ex */
span.exTag { background-color:#E8FFE8;}
span.exTitle {background:#E8FFE8;}
 
/* Not */
span.notTag { background-color:#80FF80;}
span.notTitle {background:#80FF80;}
 
/* Qp */
span.qpTag { background-color:#FFB080;}
span.qpTitle {background:#FFB080;}
 
/* RDo */
span.rdoTag { background-color:#C0C0FF;}
span.rdoTitle {background:#C0C0FF;}
 
/* RDon't */
span.rdnTag { background-color:#FF8080;}
span.rdnTitle {background:#FF8080;}
 
/* Rq */
span.rqTag { background-color:#FFE0C0;}
span.rqTitle {background:#FFE0C0;}
 
/* Todo */
span.todoTag { background-color:#FFFF80;}
span.todoTitle {background:#FFFF80;}
 
/* CSl */
span.cslTag { background-color:#C0FFC0;}
span.cslTitle {background:#b0efb0;}
 
/* hyp hypothèse*/
span.hypTag { background-color:#FFFFA8;}
span.hypTitle {background:#EFEFB8;}
 
/* ass assertion */
span.assTag { background-color:#F0F0F0;}
span.assTitle {background:#E0E0E0;}
 
/* pro proposition */
span.proTag { background-color:#FFE0A8;}
span.proTitle {background:#FEE0A7;}
 
/* the théorème */
span.theTag { background-color:#FFB0B0;}
span.theTitle {background:#EFA0A0;}
 
/* axiom */
span.axiomTag { background-color:#FFE0A8;}
span.axiomTitle {background:#EFD0B8;}
 
/* lemme */
span.lemmeTag { background-color:#E0FFE0;}
span.lemmeTitle {background:#D0DFD0;}
 
/* proposition */
span.propTag { background-color:#E0FFA8;}
span.propTitle {background:#D0EFB8;}
 
/* conjecture */
span.conjTag { background-color:#FFF0E8;}
span.conjTitle {background:#EFE0D8;}
 
/* defineEq define by equivalence */
span.defineEq { 
  background-color:#A8C8FF;
  border-color:#88A8DF;
}
/* notationEq define notation by equivalence */
span.notationEq { 
  background-color:#80FF80;
  border-color:#60DF80;
}
 
/* fig figc */
center.figCenter { 
  margin:0em;
  background-color:#FFFFFF;
  padding:0.0em; 
}
 
.figcTab, .figTab table.figTable, table.figcTable { 
  background-color:#E0E0F0;
  padding:0.0em; 
}
.figTab table.figTable { 
  margin:0.5em 0em 0.5em 0em; 
}
 
.figcImgTabTd, .figImgTabTd, td.figImgTd, td.figcImgTd { 
  background-color:#FFFFFF;
  /* *max-width:13.5cm; */
  max-width:65ch; 
}
 
.figcTitleTabTd, .figTitleTabTd, td.figTitleTd, td.figcTitleTd { 
  background-color:#E0E0F0;
  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; 
}
.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.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:50%;
}
#rule {
    width: 2168px;
}
#rule img{
    max-width: 100%;
    max-height: 100%;
}