/*
 * Emanuele Faranda
 *
 * Custom distribution styles
 */

/* Custom style */
p {
    font-family: sans-serif;
    font-size: 14px;
}

a {
    color: #07B;
    text-decoration: none;
}
a:visited {
    color: #4E008B;
}
a:hover {
    background-color: inherit;
    text-decoration: underline;
}

i {
    font-size: 0.9em;
}

h1 {
    padding-left: 0.2em;
    border: thin solid black;
    color: black;
    background: #E7E7E7;
}

h2 {
    margin-top: 2em;
    padding-left: 0.3em;
    border: thin solid black;
    color: black;
    background: #E7E7E7;
}
.goindex {
    float: right;
    margin-right: 0.5em;
    background: #E7E7E7;
    text-decoration: none;
}

table {
    margin-left: auto;
    margin-right: auto;
    margin-top: 1em;
    margin-bottom: 1em;
    background-color: #3D3A3A;
}
th {
    background-color: #B5DBFF;
    padding: 0.2em;
}
td {
    background-color: white;
    padding: 0.2em;
}

hr {
    margin-top: 1em;
}

/* Page index */
#pindex {
/*
    background-color: white;
*/
}
#pindex a {
/*
    background-color: white;
*/
}

/* Controlli di navigazione pagina */
#navigation {
    float: right;
    margin-right: 1em;
}

.sideimg_b, .sideimg {
    border: thin solid #828282;
    float: right;
    margin-right: 1em;
    margin-left: 1em;
}

/* A floating image with fixed height */
.sideimg {
    height: 100px;
}
/* A bigger version of sideimg */
.sideimg_b {
    height: 300px;
}

/* Centere big image */
.center img{
    width: 700px;
    margin: 0.5em;
}

/* Just center content */
.center {
    text-align: center;
}

/* A tectual table rappresentation; use within a .center box */
.txtable {
    display: inline-block;
    border: thin solid maroon;
    padding: 0.3em 2em 0.3em;
    background-color: #F8F8F8;
    text-align: center;
    font-size: 0.8em;
    font-family: monospace;
    color: #202020;
}

/* A note on the page */
.note {
    font-size: 0.8em;
    margin-left: 0.8em;
}

/* A code block */
.code {
/*
    color: maroon;
    background-color: #FBFBFB;
*/
    color: white;
    background-color: #2B2B2B;
    border-left: 2px solid green;
    padding: 0.2em;
    font-family: monospace;
    margin: 0.5em 1em;
    padding-left: 1em;
}

/* A link without target */
.nolink {
    pointer-events: none;
    cursor: default;
}

/* Coloured soft backgrounds */
.bg_green { background-color: #90EE90; }
.bg_yellow { background-color: #FFFF8C; }
.bg_red { background-color: #FF8383; }
.bg_purple { background-color: #EFBDEF; }
.bg_blue { background-color: #AAD2F9; }
.bg_cyan { background-color: #98F4FF; }
.bg_orange { background-color: #FFD382; }