/* Styles for manual pages.
-----------------------------------------------------------*/
h1 {
    padding-bottom: .5em;
    font-weight: bold;
    font-size: 1.5em;
    border-bottom: 2px solid gray;
}
h3 {
    margin-top: 0.6em;
    margin-bottom: 0.3em;
    font-weight: bold;
    font-size: 1.3em;
}
/* Style for title of section with id-link */
h3 a {
    text-decoration: none;
    color: Black;
}

/* Style to remove border from image link */
.image-link a {
    text-decoration: none;
}
.image-link a:link img, .image-link a:visited img {
    border: 0;
}

/* Styles for image embedded in the text, like button examples */
img.inline-image {
    vertical-align: middle;
}
a:link img.inline-image, a:visited img.inline-image {
    border: 0;
}

/* Styles for image(s) displayed at the right of the text */
.right-image {
    text-align: center;
    float: right;
}
.right-image img {
    padding-left: .1em;
}
.multi-right-image {
    text-align: center;
    float: right;
    padding: 0 0 .3em .3em;
    clear: right;
}

/* Styles for image(s) displayed at the left of the text */
.left-image {
    text-align: center;
    float: left;
}
.left-image img {
    float: left;
    padding-right: .4em;
}
.left-image-stacked {
    float: left;
    width: 330px;
}
.left-image-stacked img {
    padding-bottom: 8px;
}

/* Style for manual paragraphs */
.manual div {
    padding-top: 1em;
    border-bottom: 1px solid #D6DDE6;
}