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%;
}