Différences entre les versions de « MediaWiki:Common.css »
De Wikip
m (1 révision importée)  | 
				|||
| Ligne 1 : | Ligne 1 : | ||
/* 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"); */  | |||
/* * {font-family: courier new} */  | /* * {font-family: courier new} */  | ||
/*  | |||
0        1         2         3         4         5         6         7  | |||
1234567890123456789012345678901234567890123456789012345678901234567890  | |||
*/  | |||
/* Introduction */  | /* Introduction */  | ||
| Ligne 15 : | Ligne 21 : | ||
.tabBody        { display: table-row-group; }  | .tabBody        { display: table-row-group; }  | ||
.tabFoot        { display: table-footer-group; }  | .tabFoot        { display: table-footer-group; }  | ||
.tabTd, .tabTh  { display: table-cell;   | .tabTd, .tabTh  { display: table-cell;  /* min-width: 2cm; */ min-width:10ch; }  | ||
/* cParBase */  | /* cParBase */  | ||
.parBaseTab, table.cParBaseTab { font-size:100%;margin-top:0em;margin-bottom:0.5em;margin-left:0;margin-right:auto;padding:0em;border:0px;background-color:transparent;border-radius:0.5em;}  | .parBaseTab, table.cParBaseTab {    | ||
.parBaseTab2,table.cParBaseTab2 { font-size:100%;margin-top:0em;margin-bottom:0.5em;margin-left:0;margin-right:auto;padding:0em;border:0px;background-color:#80FF80;border-radius:0.5em;}  |   font-size:100%;  | ||
.parBaseTabTdL, td.cParBaseTdL { word-wrap:break-word;text-align:center;vertical-align:top; padding:0;margin:0em;width:3cm; }    |   margin-top:0em;  | ||
.parBaseTabTdL2, td.cParBaseTdL2 { word-wrap:break-word;text-align:center;vertical-align:top; padding:0;margin:0em;width:0.5cm; }    |   margin-bottom:0.5em;  | ||
.parBaseTabTdR, td.cParBaseTdR { display:block;word-wrap: break-word;width:14cm;background-color:transparent;padding:0.5em;padding-top:0;margin:0.0em;text-align:justify; }  |   margin-left:0;  | ||
.parBaseTabTdR2, td.cParBaseTdR2 { display:block;word-wrap: break-word;width:24cm;background-color:transparent;padding:0.5em;padding-top:0;margin:0.0em;text-align:justify; }  |   margin-right:auto;  | ||
  padding:0em;  | |||
  border:0px;  | |||
  background-color:transparent;  | |||
  border-radius:0.5em;  | |||
}  | |||
.parBaseTab2,table.cParBaseTab2 {    | |||
  font-size:100%;  | |||
  margin-top:0em;  | |||
  margin-bottom:0.5em;  | |||
  margin-left:0;  | |||
  margin-right:auto;  | |||
  padding:0em;  | |||
  border:0px;  | |||
  background-color:#80FF80;  | |||
  border-radius:0.5em;  | |||
}  | |||
.parBaseTabTdL, td.cParBaseTdL {    | |||
  word-wrap:break-word;  | |||
  text-align:center;  | |||
  vertical-align:top;    | |||
  padding:0;  | |||
  margin:0em;  | |||
  /* width:3cm; */  | |||
  width: 15ch;  | |||
}    | |||
.parBaseTabTdL2, td.cParBaseTdL2 {    | |||
  word-wrap:break-word;  | |||
  text-align:center;  | |||
  vertical-align:top;    | |||
  padding:0;  | |||
  margin:0em;  | |||
  /* width:0.5cm;  */  | |||
  /* width: 2.5ch; */  | |||
  width: 0.0ch;  | |||
}    | |||
.parBaseTabTdR, td.cParBaseTdR {    | |||
  display:block;  | |||
  word-wrap: break-word;  | |||
  /* width:14cm; */  | |||
  width: 70ch;  | |||
  background-color:transparent;  | |||
  /* padding:0.5em; */  | |||
  padding:0.0em;  | |||
  padding-top:0;  | |||
  margin:0.0em;  | |||
  text-align:justify;    | |||
}  | |||
.parBaseTabTdR2, td.cParBaseTdR2 {    | |||
  display:block;  | |||
  word-wrap:break-word;  | |||
  /* width:24cm; */  | |||
  width:120 ch;  | |||
  background-color:transparent;  | |||
  padding:0.5em;  | |||
  padding-top:0;  | |||
  margin:0.0em;  | |||
  text-align:justify;    | |||
}  | |||
.parBaseTab, .parBaseTab2 { display: table; }  | .parBaseTab, .parBaseTab2 {    | ||
.parBaseTabTr   |   display: table;    | ||
.parBaseTabTh   | }  | ||
.parBaseTabBody   | .parBaseTabTr {    | ||
.parBaseTabFoot   |   display: table-row;    | ||
.parBaseTabTdR2, .parBaseTabTdR, .parBaseTabTdL2, .parBaseTabTdL, .parBaseTabTd, .parBaseTabTh  { display: table-cell; }  | }  | ||
.parBaseTabTh {    | |||
  display: table-header-group;    | |||
}  | |||
.parBaseTabBody {    | |||
  display: table-row-group;    | |||
}  | |||
.parBaseTabFoot {    | |||
  display: table-footer-group;    | |||
}  | |||
.parBaseTabTdR2,    | |||
  .parBaseTabTdR,    | |||
  .parBaseTabTdL2,    | |||
  .parBaseTabTdL,    | |||
  .parBaseTabTd,    | |||
  .parBaseTabTh  {    | |||
display: table-cell;    | |||
}  | |||
/* 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.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.cNumParTag,  | ||
{ border-color:#D0D0D0; border-radius:0.5em;border-style:solid;border-width:1pt;  | 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.4em;  | |||
  margin:0.4em;  | |||
  background-color:#C0C0C0;  | |||
}  | |||
span.cNumParTag2 { border-color:#D0D0D0; border-radius:0.5em;border-style:solid;border-width:1pt;font-size:70%;padding:0.4em;margin:0.4em;background-color:#FFC0C0;}  | span.cNumParTag2 {    | ||
span.cNumParInfo { padding:0.2em;margin:0.2em; }  |   border-color:#D0D0D0;    | ||
  border-radius:0.5em;  | |||
  border-style:solid;  | |||
  border-width:1pt;  | |||
  font-size:70%;  | |||
  padding:0.4em;  | |||
  margin:0.4em;  | |||
  background-color:#FFC0C0;  | |||
}  | |||
span.cNumParInfo {    | |||
  padding:0.2em;  | |||
  margin:0.2em;    | |||
}  | |||
/* par */  | /* par */  | ||
| Ligne 73 : | Ligne 251 : | ||
/* RDo */  | /* RDo */  | ||
span.rdoTag { background-color:#  | span.rdoTag { background-color:#C0C0FF;}  | ||
span.rdoTitle {background:#  | span.rdoTitle {background:#C0C0FF;}  | ||
/* RDon't */  | /* RDon't */  | ||
| Ligne 81 : | Ligne 259 : | ||
/* Rq */  | /* Rq */  | ||
span.rqTag { background-color:#  | span.rqTag { background-color:#FFE0C0;}  | ||
span.rqTitle {background:#  | 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 */  | |||
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 */  | /* fig figc */  | ||
center.figCenter { margin:0em;background-color:#FFFFFF;padding:0.0em; }  | 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;    | |||
}  | |||
.figcTitleTabTd, .figTitleTabTd,   | .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%;  | |||
}  | |||
Version du 20 décembre 2017 à 22:07
/* 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} */
/*
0        1         2         3         4         5         6         7
1234567890123456789012345678901234567890123456789012345678901234567890
*/
/* 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: 2cm; */ min-width:10ch; }
/* cParBase */
.parBaseTab, table.cParBaseTab { 
  font-size:100%;
  margin-top:0em;
  margin-bottom:0.5em;
  margin-left:0;
  margin-right:auto;
  padding:0em;
  border:0px;
  background-color:transparent;
  border-radius:0.5em;
}
.parBaseTab2,table.cParBaseTab2 { 
  font-size:100%;
  margin-top:0em;
  margin-bottom:0.5em;
  margin-left:0;
  margin-right:auto;
  padding:0em;
  border:0px;
  background-color:#80FF80;
  border-radius:0.5em;
}
.parBaseTabTdL, td.cParBaseTdL { 
  word-wrap:break-word;
  text-align:center;
  vertical-align:top; 
  padding:0;
  margin:0em;
  /* width:3cm; */
  width: 15ch;
} 
.parBaseTabTdL2, td.cParBaseTdL2 { 
  word-wrap:break-word;
  text-align:center;
  vertical-align:top; 
  padding:0;
  margin:0em;
  /* width:0.5cm;  */
  /* width: 2.5ch; */
  width: 0.0ch;
} 
.parBaseTabTdR, td.cParBaseTdR { 
  display:block;
  word-wrap: break-word;
  /* width:14cm; */
  width: 70ch;
  background-color:transparent;
  /* padding:0.5em; */
  padding:0.0em;
  padding-top:0;
  margin:0.0em;
  text-align:justify; 
}
.parBaseTabTdR2, td.cParBaseTdR2 { 
  display:block;
  word-wrap:break-word;
  /* width:24cm; */
  width:120 ch;
  background-color:transparent;
  padding:0.5em;
  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; 
}
.parBaseTabTdR2, 
  .parBaseTabTdR, 
  .parBaseTabTdL2, 
  .parBaseTabTdL, 
  .parBaseTabTd, 
  .parBaseTabTh  { 
display: table-cell; 
}
/* 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.4em;
  margin:0.4em;
  background-color:#C0C0C0;
}
span.cNumParTag2 { 
  border-color:#D0D0D0; 
  border-radius:0.5em;
  border-style:solid;
  border-width:1pt;
  font-size:70%;
  padding:0.4em;
  margin:0.4em;
  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%;
}