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 : 21cm;
max-width : 28cm;
min-width : 1cm;
min-width : 1cm;
padding: 0.2cm;
padding: 0.2cm;
}
}
 
h1, h2, h3, h4, h5, h6, .mw-body {
h1, h2, h3, h4, h5, h6  {
font-size : 110%;
font-size : 110%;
max-width : 18cm;
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 : 3cm;
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:top;
     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 {  
  display:block;
   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.5em;
  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%;
}