/* CSS for gnupg.com.
 * This file is in the Public Domain.
 */

/* Setup a new default for box-sizing.  */
* {
    -webkit-box-sizing: border-box;
    -moz-box-sizing: border-box;
    box-sizing: border-box;
}

/*
 * Basic stuff.
 */
body {
    background: #f0f0fc;
    line-height: 1.5em;
    font-size: 12px;
}

h1,
h2,
h3,
h4,
h5,
h6,
label {
    color: #000000;
}



/* Recommended pure modification.  */
.pure-img-responsive {
    max-width: 100%;
    height: auto;
}
/* Change to a one-line menu.  */
/*.pure-menu-horizontal {
    white-space: normal;
}*/
.pure-menu-link {
    color: #000000;
}
.pure-menu-selected .pure-menu-link {
    color: #707070 !important;
}


/* The class for the pagehead logo.  */
.pagehead {
    background-color: #71bf38;
    height: 108px;
}

/*
 * The top div conaining the menu and the content.
 * .with-banner be used in additon to show a banner.
 */
.layout {
    position: absolute;
    left: 0;
    padding-left: 0;
    min-height: 20%;
    z-index: 2;
    width: 100%;
}
.with-banner {
   position: absolute;
}


/* Add some padding to the content.  */
.content {
    margin: 0 auto;
    margin-left: 160px;
    max-width: 800px;
    margin-bottom: 50px;
    padding: 2em 2em 2em;
}


/*
 * Menu style.
 * Background is the company green.
 */
.menu {
    position: absolute;
    top: 0;
    bottom: 0;  /* Extend to the end of the page.  */
    left: 160px;
    margin-left: -160px;
    width: 160px;
    background: #71bf38;
    color: #000000;
}


.menu-list {
    background: #71bf38;
}

.menu-children {
    background: #71bf38;
}

.menu-link {
    color: #000000;
}

.menu-item {
    background: none;
    border: none;
    color: #000000;
}

.menu-selected {
    color: #707070 !important;
}


/*
 * The banner used for the start page.
 * See share/gnupgdotcom.el for details.
 */
.banner-container {
    background: #b0dbf1;
    z-index: 1;
    overflow: hidden;
    width: 100%;
    height: 80%;
    top: 0;
    left: 0;
    position: fixed !important;
}


.banner {
    width: 80%;
    height: 50%;
    margin: auto;
    position: absolute;
    top: 100px; left: 0; bottom: 0; right: 0;
    text-align: center;
}

/* This is the heading in the banner. (h1 is only used here.)  */
h1 {
    font-size: 20px;
    font-weight: bold;
    color: #ffffff;
    border: 3px solid white;
    padding: 1em 1.6em;
    font-weight: 100;
    border-radius: 5px;
    line-height: 1em;
    text-transform: uppercase;
}

/* This is a the subheading in the banner.  */
.banner-subhead {
    color: #ffffff;
    letter-spacing: 0.05em;
    opacity: 0.8;
}

.banner-button {
    background: #0093dd;
    color: #ffffff;
    border-radius: 4px;
}

/* The main content headlines (<h2>). */
h2 {
    font-weight: 400;
    text-transform: uppercase;
    letter-spacing: 0.1em;
    margin: 2em 0em 1em;
}

/* This is the class used for the content sub-headers (<h3>) */
h3 {
    color: #5c6064;
}


/* This is the class used for the footer.  */
.footer {
    border-top: 1px solid #5c6064;
    margin-top: 5em;
    font-size: 0.6em;
}

/* Note that the .footerbox takes care of the padding. */
#cpyright {
    padding-top: 0em;
}

/* A box used for small graphics at the page bottom.
   The images are right aligned, a single P is used
   to clear the alignment.  */
.footerbox {
  margin-top: 12px;
  margin-bottom: 5px;
}

.footerbox img {
    float: right;
}

.footerbox p {
    margin-top: 0px;
    margin-bottom: 0px;
    clear: both;
}

/* The kicker line we use sometimes.  */
.kicker {
    padding-top: 5%;
    font-size: 125%;
    border-bottom: 3px #ffb580 solid;
    margin-bottom: 2%;
}


/*
 * Other helpful classes.
 */
.underlined {
    text-decoration: underline;
}

.centered {
    text-align: center;
}

.example {
    overflow: auto;
}


.l-box {
    padding: 1em;
}


/*
 * Customization for tablets etc.
 */
@media (min-width: 48em) {

    /* Increase the body font size */
    body {
        font-size: 16px;
    }

    /* Decrease the width and font of the banner */
    .banner {
        width: 50%;
        height: 50%;
    }
    .banner-head {
        font-size: 250%;
    }
}


/*
 * Customization for desktops which have more space than mobiles and tablets.
 */
@media (min-width: 78em) {

    /* Increase the banner font size even more. */
    .banner-head {
        font-size: 300%;
    }
}