@font-face {
    font-family: 'LuxiMonoRegular';
    font-style: normal;
    src: url(fonts/luximr.ttf) format('truetype');
}

/* Base */
html {
    background: #e4e4e4;
}
body {
    font-family: 'LuxiMonoRegular', 'New-Courier', 'monospaced';
    font-size: 1em;
    line-height: 1.5em;
    color: #222;                      /* main text color from bash page */
    margin: 0 auto;
    background: white;
    border: .1em solid #bbb;
    border-top: 3px solid #a32d2a;    /* signature GNU red top border */
    box-shadow: 0 0 5px 5px #bbb;
    max-width: 72em;   /* leave room for the padding */
    padding: 1em 1.5em;
    box-sizing: border-box;
}

/* Inline code / teletype */
tt, code, samp, kbd {
    font-family: 'LuxiMonoRegular', 'New-Courier', 'monospaced';
    padding: 0 .2em;
}
/* tt, code {
    background: #f2f2f2;
} */
kbd {
    color: #752b1b;                   /* brownish-red kbd color from bash page */
    background: #f2f2f2;
}

/* Preformatted blocks */
pre {
    padding: 0 0 .3em;
    margin: 1em 0;
    overflow: auto;
    background: #f2f2f2;
}

/* Headings */
h1 { font-size: 2.375em; margin: .7em 0; }
h2 { font-size: 2em; margin: .7em 0; }
h3 { font-size: 1.5em; margin: 1.2em 0 .8em; color: #333; }
h4 { font-size: 1.25em; margin: 1.2em 0 .85em; color: #505050; }
h5 { font-size: 1.125em; margin: 1.3em 0 .9em; }
h6 { font-size: 1em; margin: 1.3em 0 1em; }
h5, h6 {
    font-weight: normal;
    font-style: italic;
}

/* Links — bash page link colors */
a[href] {
    text-decoration-color: #bbb;
}
a[href]:link {
    color: #049;                      /* GNU blue */
}
a[href]:visited {
    color: #503;                      /* muted purple */
}
a[href]:hover {
    color: black;
    text-decoration: none;
}
a[href]:active {
    text-decoration: none;
}

/* Lists */
ul, ol {
/*    padding-left: 1em;*/
    margin: 0;
}

ul, ol, li, dl, dd, dt {
    margin: 0;
}
li, dt, dd {
    line-height: 1.5em;
}
ul li {
    list-style: square outside;       /* bash page uses square bullets */
}
ul ul li, ol ul li {
    list-style: circle;
}
ol li {
    list-style: decimal outside;
}
ul, ol {
    margin: 0 0;
}
dt {
    font-weight: bold;
    color: #333;
}

/* Paragraphs and blocks */
p {
    line-height: 1.5em;
    margin: 1em 0;
}
blockquote {
    margin: 1em 3%;
    color: #444;
}

/* Horizontal rules */
hr {
    display: block;
    margin: 1.2em 0;
    height: 1px;
    border: 0;
    color: #999;
    background: #999;
}

/* Tables */
table {
    border-collapse: collapse;
    border-spacing: 0;
    margin: 1.5em 0;
}
th, td {
    border: 1px solid #bbb;
    padding: .5em;
    margin: 0;
    line-height: 1.3em;
}
th {
    font-weight: bold;
    text-align: center;
}

/* Highlighted / emphasized blocks (bash page style) */
.highlight, .highlight-para {
    background: #fff5d4;              /* warm yellow highlight */
}
span.highlight {
    background: #fff1c0;
}
.important {
    padding: .4em 1em;
    border-left: .4em solid #fc7;     /* orange accent */
    background: #f7f7f7;
}
.announcement {
    padding: .4em 1em;
    border-left: .4em solid #5c5;     /* green accent */
    background: #f7f7f7;
}

/* Misc inline elements */
acronym, abbr {
    font-variant: normal;
    text-decoration: none;
    border-bottom: 1px dotted #000;
    cursor: help;
}
ins {
    text-decoration: none;
}
del {
    text-decoration: line-through;
}
sup {
    vertical-align: super;
}
sub {
    vertical-align: sub;
}