/*
 * Redesigned by Fabio Scotoni in march 2019
 */

/*************/
/* Web fonts */
/*************/
@font-face{
    font-family: 'Source Sans Pro';
    font-weight: 400;
    font-style: normal;
    font-stretch: normal;
    src: url('EOT/SourceSansPro-Regular.eot') format('embedded-opentype'),
         url('WOFF2/TTF/SourceSansPro-Regular.ttf.woff2') format('woff2'),
         url('WOFF/OTF/SourceSansPro-Regular.otf.woff') format('woff'),
         url('OTF/SourceSansPro-Regular.otf') format('opentype'),
         url('TTF/SourceSansPro-Regular.ttf') format('truetype');
}

@font-face{
    font-family: 'Source Sans Pro';
    font-weight: 400;
    font-style: italic;
    font-stretch: normal;
    src: url('EOT/SourceSansPro-It.eot') format('embedded-opentype'),
         url('WOFF2/TTF/SourceSansPro-It.ttf.woff2') format('woff2'),
         url('WOFF/OTF/SourceSansPro-It.otf.woff') format('woff'),
         url('OTF/SourceSansPro-It.otf') format('opentype'),
         url('TTF/SourceSansPro-It.ttf') format('truetype');
}

@font-face{
    font-family: 'Source Sans Pro';
    font-weight: 600;
    font-style: normal;
    font-stretch: normal;
    src: url('EOT/SourceSansPro-Semibold.eot') format('embedded-opentype'),
         url('WOFF2/TTF/SourceSansPro-Semibold.ttf.woff2') format('woff2'),
         url('WOFF/OTF/SourceSansPro-Semibold.otf.woff') format('woff'),
         url('OTF/SourceSansPro-Semibold.otf') format('opentype'),
         url('TTF/SourceSansPro-Semibold.ttf') format('truetype');
}

@font-face{
    font-family: 'Source Sans Pro';
    font-weight: 600;
    font-style: italic;
    font-stretch: normal;
    src: url('EOT/SourceSansPro-SemiboldIt.eot') format('embedded-opentype'),
         url('WOFF2/TTF/SourceSansPro-SemiboldIt.ttf.woff2') format('woff2'),
         url('WOFF/OTF/SourceSansPro-SemiboldIt.otf.woff') format('woff'),
         url('OTF/SourceSansPro-SemiboldIt.otf') format('opentype'),
         url('TTF/SourceSansPro-SemiboldIt.ttf') format('truetype');
}

@font-face{
    font-family: 'Source Code Pro';
    font-weight: 400;
    font-style: normal;
    font-stretch: normal;
    src: url('EOT/SourceCodePro-Regular.eot') format('embedded-opentype'),
         url('WOFF2/TTF/SourceCodePro-Regular.ttf.woff2') format('woff2'),
         url('WOFF/OTF/SourceCodePro-Regular.otf.woff') format('woff'),
         url('OTF/SourceCodePro-Regular.otf') format('opentype'),
         url('TTF/SourceCodePro-Regular.ttf') format('truetype');
}

@font-face{
    font-family: 'Source Code Pro';
    font-weight: 400;
    font-style: italic;
    font-stretch: normal;
    src: url('EOT/SourceCodePro-It.eot') format('embedded-opentype'),
         url('WOFF2/TTF/SourceCodePro-It.ttf.woff2') format('woff2'),
         url('WOFF/OTF/SourceCodePro-It.otf.woff') format('woff'),
         url('OTF/SourceCodePro-It.otf') format('opentype'),
         url('TTF/SourceCodePro-It.ttf') format('truetype');
}

@font-face{
    font-family: 'Source Code Pro';
    font-weight: 700;
    font-style: normal;
    font-stretch: normal;
    src: url('EOT/SourceCodePro-Bold.eot') format('embedded-opentype'),
         url('WOFF2/TTF/SourceCodePro-Bold.ttf.woff2') format('woff2'),
         url('WOFF/OTF/SourceCodePro-Bold.otf.woff') format('woff'),
         url('OTF/SourceCodePro-Bold.otf') format('opentype'),
         url('TTF/SourceCodePro-Bold.ttf') format('truetype');
}

@font-face{
    font-family: 'Source Code Pro';
    font-weight: 700;
    font-style: italic;
    font-stretch: normal;
    src: url('EOT/SourceCodePro-BoldIt.eot') format('embedded-opentype'),
         url('WOFF2/TTF/SourceCodePro-BoldIt.ttf.woff2') format('woff2'),
         url('WOFF/OTF/SourceCodePro-BoldIt.otf.woff') format('woff'),
         url('OTF/SourceCodePro-BoldIt.otf') format('opentype'),
         url('TTF/SourceCodePro-BoldIt.ttf') format('truetype');
}

/*********************************************/
/* Reset, from                               */
/* http://meyerweb.com/eric/tools/css/reset/ */
/* v2.0 | 20110126                           */
/*********************************************/
html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p,
blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img,
ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center,
dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody,
tfoot, thead, tr, th, td, article, aside, canvas, details, embed,figure,
figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary,
time, mark, audio, video {
    margin: 0;
    padding: 0;
    border: 0;
    font-size: 100%;
    font: inherit;
    vertical-align: baseline;
}
/* Re-styled sup/super scripts (not sure we should reset them at all...) */
sub {
    vertical-align: sub;
    font-size: 80%;
}
sup {
    vertical-align: super;
    font-size: 80%;
}
html {
    font-size: 18px;
    text-rendering: optimizeLegibility;
    font-feature-settings: "kern" 1, "liga" 1, "tnum" 1;
}
/* HTML5 display-role reset for older browsers */
article, aside, details, figcaption, figure,
footer, header, hgroup, menu, nav, section, pre code {
    display: block;
}
body {
    line-height: 1;
}
ol, ul {
    padding-left: 1rem;
    list-style: disc;
}
blockquote, q {
    quotes: none;
}
blockquote:before, blockquote:after, q:before, q:after {
    content: '';
    content: none;
}
table {
    border-collapse: collapse;
    border-spacing: 0;
}

html {
    /* background-image:url(../img/2.png); */
    /* background-repeat: no-repeat; */
    /* background-position: center top; */
    /* background-origin: content-box; */
    width : 100%;
    height: 100%;
}

#clear{
    clear: both;
}
/*************/
/* end reset */
/*************/


/* Links*/
article a {
    color: #22a;
    text-decoration: none;
    border-bottom: thin dotted #808080;
}
article a:visited {
    color:#661566
}
article a:hover {
    color: #05f;
    text-decoration: none;
    border-bottom: none;
}

/* fonts */
pre {
    font-family: "Source Code Pro", monospace;
    font-size: 95%;
}
code {
    font-family: "Source Code Pro", monospace;
    font-size: 95%;
}
body {
    font-family: "Source Sans Pro", sans-serif;
    background-color:rgba(255,255,255,0.8);
}
strong, b {
    font-weight: 600;
}
em, i {
    font-style: italic;
}

/* non-main elements */
header #logo {
    float: right;
    padding-top: 1rem;
}

footer {
    border-top: thin solid #3eb6f2;
    padding: 0.4rem;
    margin: 0 4rem 1.6rem 2rem;
}

/* Navigation bar */
nav a {
    width: 225px;
    color: black;
    border-bottom: thin solid #aaa;
    display: block;
    padding: 0.3rem 0.4em 0.3rem 0.4em;
    text-decoration: none;
    font-size: 115%
}
nav a:hover {
    background-color:#92d4f4;
}
nav ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
}
nav ul ul {
    padding-left: 2rem; /* Indentation */
    padding-bottom: 0.6rem; /* Slightly marks end of list. Optionnal */
}

/* quotes */
blockquote {
    border-left: thin solid #3eb6f2;
    padding-left: 1rem;
}

/* code blocks */
pre {
    border-top: thin solid #3eb6f2;
    border-bottom: thin solid #3eb6f2;
    margin: 0 0 1.6rem 2rem;
}
pre code {
    padding: 0.5rem;
}

/* vertical rythm */
body {
    font-size: 16px;
    line-height: 1.4;
}

h1, h2, h3 {
    font-weight: 600;
    font-variant: small-caps;
}
h1 {
    font-size: 130%;
    margin-bottom: 0.6rem;
}
h1.Sh {
    margin: 2rem 0 0.6rem 0;
}
h2 {
    font-size: 120%;
    margin: 2rem 0 0.6rem 0;
    font-feature-settings: "smcp" 1;
}
h3 {
    font-size: 110%;
    margin: 2rem 0 0.6rem 0;
    font-feature-settings: "smcp" 1;
}
p, ul, ol {
    margin: 0 0 1.5rem 0;
}

/* desktop layout */
body {
    max-width: 1250px;
    margin: 0 auto 0 auto;
    display: flex;
    flex-direction: column;
}
header {
    flex: none;
    margin: 1rem 6rem 2.7rem 3rem;
}
header h1 {
    font-size: 280%;
    font-variant: none;
    margin: 2rem 0 0 0;
}
footer {
    flex: none;
    margin: 1rem 1rem 10rem 1rem;
}
.center {
    display: flex;
    flex: 1;
    padding: 0 1rem 0 1rem;
}
nav {
    order: -1;
    flex: 0 0 18rem;
    margin: 0 2rem 0 0;
}
article {
    flex: 1;
}

/* mobile layout */
@media (max-width:1000px) {
    header h1 {
        font-size: 2.8rem;
        margin-bottom: 0.2rem;
    }
    body {
        max-width: 100%;
        margin: 1 0 1 0;
        flex-direction: column;
    }
    .center {
        flex-direction: column;
    }
    nav {
        order: 1;
        flex: 0 0 auto;
        margin: 1rem 0 0 0;
    }
}

/* Mandoc style */
table.head, h1#NAME {
    display: none;
}
div.Nd {
    font-weight: 600;
    font-variant: small-caps;
    font-size: 130%;
}
b.in, b.Fn var.Fa, var.Ft {
    font-family: "Source Code Pro", monospace;
    font-size: 95%;
}
b.Fn, b.Sy {
    font-weight: bold;
}
var.Ft i.Em {
    font-style:italic;
}
dl.Bl-tag {
    margin-left  : 1rem;
    margin-top   : 1rem;
    margin-bottom: 1rem;
}
dt {
    font-weight: bold;
}
dd {
    margin-left  : 1rem;
    margin-bottom: 1rem;
}
pre.Li {
    font-family: "Source Code Pro", monospace;
    font-size: 95%;
    margin-top: 1rem;
    margin-left: -1rem; // nullify inline style
}
div.Pp {
    margin: 0 0 1.5rem 0;
}
div.Bd {
    margin: -1.5rem 0 0 1.5rem;
}
table.foot {
    display: none
}
span.Nd {
    display: block;
    margin-bottom: 1rem;
}