@import "link.css";
@import "menu.css";
@import "highlight.css";

html, body {
    margin: 0px;
    width: 100%;
    height: 100%;
}

h1 {
    font-family: sans-serif;
    color: black;
    text-align: center;
}

h2, h3 {
    font-family: sans-serif;
}

pre {
    border: 1px solid black;
    padding: 2px;
    overflow: auto;
}
/*
pre.console {
    background-color: #DDDDDD;
}
pre.config {
    background-color: #FFFFDD;
}
pre.log {
    background-color: #FFDDDD;
}
pre.source {
    background-color: #DDDDFF;
}
*/

.content {
    margin: 0px 10%;
}

/*page with list*/
.list-page dl dt {
    float: left;
    clear: both;
    width: 15%;
    text-align: center;
}
.list-page dl dt img {
    display: block;
    border-width: 2px;
    margin: auto;
}
.list-page dl dd {
    margin-left: 15%;
}
.list-page dl dd h3 {
    font-size: 100%;
    font-weight: normal;
    background-color: silver;
    margin: 0px;
    padding: 0px;
}
.list-page dl dd h3 a {
    font-weight: bold;
}
.list-page dl dd p {
    margin: 0.2em 0px 0.5em;
}
.list-page dl dd ul {
    margin: 0px 0px 0.5em;
}

/*page with text*/
.text-page p.stars {
    text-align: center;
    margin: 0px;
    padding: 0px;
    font-size: 70%;
}
.text-page p.images img {
    vertical-align: top;
    margin: 2px;
}
.text-page dl.packages dt {
    font-weight: bold;
    display: list-item;
    margin-top: 0.5em;
    margin-left: 1em;
}
.text-page dl.packages dd {
}
.text-page .license {
    float: right;
    position: relative;
    top: -1.2em;
    text-align: right;
    font-size: 80%;
}
.text-page .license span {
    display: block;
}
.text-page .narrow {
    width: 60%;
    margin-left: auto;
    margin-right: auto;
}
dl.contact dt {
    margin-top: 1em;
}