/*
 *  CSS for www.diameter.si math islands
 *  M. Divjak / 2013-12-02
 */     

/*  Math elements ********************************************/
table {
    display: table;
}
tr {
    display: table-row;
}
th, td {
    display: table-cell;
}
pre {
    display: block;
}
sub, sup, b, i, u, big, strong {
    display: inline;
}


/* Preformatted text *****************************************/
pre {
    margin: 0; border: 0; padding: 0;
    font-family: "DejaVu Sans Mono", "Courier New", Courier, monospace; 
    font-size: small;
    white-space: pre;
}

/* Computer code *********************************************/
div.code {
    margin: 0; border: 0; padding: 0;
    margin-left: 5%;  
    white-space: pre;
    font-family: "DejaVu Sans Mono", "Courier New", Courier, monospace; 
    font-size: smaller;
}
div.code1 {
    margin: 0; border: 0; padding: 0;
    margin-left: 5%;  
    white-space: pre;
    font-family: "DejaVu Sans Mono", "Courier New", Courier, monospace; 
    font-size: xx-small;
}

/*  Proto-tables and proto-math ******************************/
div.data {
    margin: 0; border: 0; padding: 0;
    margin-top: 1em;
    margin-bottom: 1em;
}
div.data pre {
    margin: 0; border: 0; padding: 0;
    font-family: "DejaVu Sans Mono", "Courier New", Courier, monospace; 
}
div.math {
    margin: 0; border: 0; padding: 0;
    margin-bottom: 0.5em;
    margin-left: 5%;  
}
/* Za eqlistN: */
div.math1 {
    margin: 0; border: 0; padding: 0;
    margin-bottom: 1.5em;
    margin-left: 5%;  
}
div.math p {
    margin: 0;
}
div.em {
    background-color:#FFCCCC;
}


/*  Tables ***************************************************/
table {
    margin: 0; border: 0; padding: 0;
    margin-top: 1.0em;
    margin-bottom: 1.0em;
    border-collapse: collapse;
    border-top: 0.3ex double black;
    border-bottom: 0.1ex solid black;
}
table tr {
    margin: 0; border: 0; padding: 0;
}
table th, td {    
    margin: 0; border: 0; padding: 0;
    padding: 0.2em 0.5em 0.2em 0.5em;
/*    font-size: x-small; */
    font-size: smaller;
    font-style: normal;
    font-weight: normal;
    text-align: left;   
    vertical-align: baseline;
}
table th.num, table td.num {
    text-align: right;    
}
tr.sect {
   border-top: 0.1ex solid black;
}
table.data {
    margin-top: 0.5em;
    margin-bottom: 1.0em;
    margin-right: 1.0em;
    line-height: 80%; 
    font-family: "DejaVu Sans", Arial, Helvetica, sans-serif; 
    float: left; /* NEW */
}
table.legend {
    line-height: 80%; 
    font-family: "DejaVu Sans", Arial, Helvetica, sans-serif; 
    border-top: 0;
    border-bottom: 0;
}

/*  Display math *********************************************/
table.math {
    padding: 0; border: 0; margin: 0;  
}
table.math tr {
}
table.math td {
    padding: 0 0.3em 0 0;
    text-align: center; 
    word-spacing: -0.15em;
    font-size: small;
    vertical-align: middle;
}
table.math td.left {
    border-left: 0.1ex solid black;
}
table.math td.right {
    padding: 0;
    border-right: 0.1ex solid black;
}
p.nom {
    text-align: center;
    margin: 0;
    padding-bottom: 0.2ex;
    border-bottom: 0.05ex solid black;
}
p.den {
    text-align: center;
    margin: 0;
    padding-top: 0.2ex;
    border-top: 0.05ex solid black;
}
p.top {
    text-align: center;
/*    font-size: x-small; */
    font-size: smaller;
    margin: 0;
    padding: 0;
}
p.mid {
    text-align: center;
    padding: 0;
    margin: 0; 
}
p.bot {
    text-align: center;
/*    font-size: x-small; */
    font-size: smaller;
    padding: 0;
    margin: 0; 
}
p.mtr {
    text-align: right;
}
p.eqn {
    float: right;
    clear: right;
    text-align: right;
/*    font-size: x-small; */
/*    font-family: "DejaVu Sans", Arial, helvetica, sans-serif; */
}
   

/* Inlines ***************************************************/
/*
sub {
    margin: 0; border: 0; padding: 0;
    font-size: xx-small;
    vertical-align: sub;
}
sup {
    margin: 0; border: 0; padding: 0;
    font-size: xx-small;
    vertical-align: super;
}
*/

sub, sup {
    font-size: xx-small; 
/*    font size: 70%; */
/*    font-size: smaller; */
    line-height: 0;
    vertical-align: baseline;
    position: relative;
}
sup {
    top: -0.5em;
}
sub {
    bottom: -0.25em;
}


span.math {
    white-space: nowrap;
    word-spacing: -0.15em;
    font-family: "DejaVu Serif", "STIXGeneral", "Times New Roman", Times, serif;
/*    background-color: yellow; */
}
b {
    font-weight: bold;
    font-style: italic;
}
i {
    font-style: italic;
}
u {
    font-family: "DejaVu Sans", Arial, Helvetica, sans-serif;
    font-style: italic;
    font-weight: bold;
    text-decoration: none;
}
big, strong {
    font-size: large;
    font-weight: lighter;
}

/* end */