body {
line-height: 140%;
margin: 0 auto;
max-width: 56em;
padding: .5em 2em 1em 2em;
}

a {
color: rgb(0,0,192);
text-decoration: none;
}

a:hover {
text-decoration: underline;
}

a.extern {
padding: 0 15px 0 0;
background-image: url("external-link.png");
background-repeat: no-repeat;
background-position: 100% 50%;
}

h1, h2, h3 {
font-weight: normal;
}

h1 {
font-size: 1.5625em;
margin: 1.25em 0 1.5em 0;
}

h2 {
font-size: 1.375em;
}

h3 {
font-size: 1.1875em;
}

p {
text-align: justify;
}

:target:before {
color: rgb(192,0,0);
content: "⇨";
display: inline-block;
margin: 0 0 0 -2em;
width: 2em;
}

/******************************************************************************/

#navigation {
display: inline;
font-size: .75em;
margin: 0;
padding: 0;
}
#navigation li {
display: inline;
margin: 0;
padding: 0;
}
#navigation li:before {
content: "› ";
}
#navigation li:first-child:before {
content: "";
}

/******************************************************************************/

#footer {
border-style: solid;
border-width: .125em 0 0 0;
font-size: .75em;
margin: 2em auto 0 auto;
padding: .5em 0 0 0;
text-align: center;
}

#footer li {
display: inline;
}

#footer li:before {
content: "• ";
padding: 0 .5em;
}

#footer li:first-child:before {
content: "";
}

#footer a {
color: inherit;
}

/******************************************************************************/

table {
line-height: 130%;
margin: 1em .25em;
}

tr, td {
vertical-align: top;
}

/******************************************************************************/

table.comparison-chart {
border-spacing: 1px;
border-collapse: separate;
font-size: .875em;
}

table.comparison-chart th, table.comparison-chart td {
border-width: 0;
padding: .15em .5em .2em .5em;
text-align: center;
vertical-align: middle;
}

table.comparison-chart th {
background-color: rgb(228,228,228);
}

td.status-yes {
background-color: rgb(144,255,144);
}

td.status-no {
background-color: rgb(255,144,144);
}

td.status-patch {
background-color: rgb(255,192,192);
}

td.status-bug {
background-color: rgb(255,255,144);
}

td.status-plugin {
background-color: rgb(192,255,192);
}

td.status-partial {
background-color: rgb(192,255,192);
}
    
td.status-unknown {
background-color: rgb(248,248,248);
}

table.comparison-chart span.version {
font-size: .75em;
}
table.comparison-chart span.version:before {
content: "(";
}
table.comparison-chart span.version:after {
content: ")";
}

/******************************************************************************/

pre.shell {
background-color: rgb(248,248,248);
border: 1px solid rgb(168,168,168);
margin: 1em;
padding: .5em .75em;
}

pre.shell *.command {
font-weight: bold;
font-style: normal;
}

pre.shell *.command:before {
color: rgb(0,0,192);
content: "$ ";
}

pre.shell *.comment {
color: rgb(96,96,96);
}

.footnote {
font-size: .9em;
line-height: 130%;
margin-left: 1.55em;
text-indent: -1.55em;
}

.footnotemark {
font-weight: normal;
}