/*
 *  CSS for www.diameter.si main pages
 *  M. Divjak | 2013-12-02 | 2018-11-19
 */

/*  Elements *************************************************/
head, title, meta, link {
    display: none;
}
body, div, h1, h2, p, ul {
    display: block;
}
li {
    display: list-item;
}
span, a {
    display: inline;
}

/*  Page blocks **********************************************/
body {
    margin: 0; border: 0; padding: 0;
    text-align: left;
    text-indent: 0;
    line-height: 140%;
    font-family: "DejaVu Serif", "STIXGeneral", "Times New Roman", Times, serif; 
    font-size: small;
    font-weight: normal;
    font-style: normal;
    color: black;    
    background-color: #FFFFF0;
}
div {
}
div.header {
    margin-top: 1em;
    margin-bottom: 0.5em;
    padding-bottom: 0.2em;
    border-bottom: 0.1ex solid gray;
    font-family: "DejaVu Sans", Arial, Helvetica, sans-serif; 
}
div.footer {
    clear: both;
    margin-top: 1em;
    margin-bottom: 0.5em;
    padding-top: 0.2em;
    border-top: 0.1ex solid gray;
    font-family: "DejaVu Sans", Arial, Helvetica, sans-serif; 
}
div.kernel {
    margin-left: 25%;
    margin-right: 1%;
}
div.kernel2 {
    margin-left: 25%;
    margin-right: 10%;
}

/*  Headers ***********************************************/
h1 {
    margin-top: 1.0em;
    margin-bottom: 0.5em;
    line-height: 120%;
    font-family: "DejaVu Sans", Arial, Helvetica, sans-serif; 
    font-size: xx-large;
    font-style: normal;
    font-weight: bold;
}
h1.toc {
    font-size: large; 
    }
h1.tocx {
    font-size: x-large; 
    }
h2 {
    margin: 0 0 1em -32%;
    float: left;
    clear: left;
    width: 28%;
    text-align: right;
    font-family: "DejaVu Sans", Arial, Helvetica, sans-serif; 
    font-size: smaller;
    font-style: italic;
    font-weight: normal;
}
h2.toc {
    font-size: smaller;
}


/*  Paragraphs ***********************************************/
p {    
    margin: 0; border: 0; padding: 0;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}
div.header p {
    margin: 0;
    font-style: normal;
    text-align: left;
    margin-left: 0.5em;
    margin-right: 0.5em;
    color: gray;
}
div.footer p {
    margin: 0;
    font-style: normal;
    text-align: left;
    margin-left: 0.5em;
    margin-right: 0.5em;
    color: gray;
}
p.subtitle {    
    margin-top: 1.0em;
    margin-bottom: 1.0em;
    font-style: italic;
    font-family: "DejaVu Sans", Arial, Helvetica, sans-serif; 
}
p.author {    
    margin-bottom: 1.5em;
    font-size: large;
    color: #B22222; 
    font-family: "DejaVu Sans", Arial, Helvetica, sans-serif; 
}

/*  Lists ****************************************************/
ul {
    margin: 0; border: 0; padding: 0;
    margin-top: 1em;
    margin-bottom: 1em;
    list-style: none;
    font-weight: bold;
    font-family: "DejaVu Sans", Arial, Helvetica, sans-serif; 
}
li {
    margin: 0; border: 0; padding: 0;
    margin-bottom: 0.2em;
    color: #105CB6;

}
li span.pgn {
    float: right;
    font-weight: normal;
}

/*  Inlines **************************************************/
span {
    margin: 0; border: 0; padding: 0;
}
span.hfill {
    float: right;
    text-align: right;
}

/*  Links ****************************************************/
a[href]:link {
    color: #105CB6; 
    text-decoration: underline; 
}
a[href]:visited {
    color: #105CB6;
    text-decoration: underline;
}
a[href]:active {
    color: #B22222;
    text-decoration: underline;
}
a[href]:hover {
    color: #B22222;
    text-decoration: underline;
}
 
/* end */