/* Stylesheet for the Wiki
 Based on the lighttpd default page in debian */

/* General body */

body {
    background: #f2f0ff;
    margin: 0px;
    padding:0
}

header.author {
    text-align: center;
    font-style:italic;
    font-size: 1.2em;
}

#content, .page { 
    background: #ffffff; 
    margin: auto;
    margin-top: 0px;
    margin-bottom:0px;
    padding: 10px;
    min-height:100vh;
}

@media all and (min-width: 65em) {
    #content {
        border-inline: 2px solid #ffcc88;
    }
}

p {
    text-align: justify;
}

#content {
    max-width: min(95vw,40em);
    line-height: 1.3em;
    padding-left:2em;
    padding-right:2em;
}
.languages {
    text-align: right;
}
.title, .pageheader {
    text-align: center; 
    padding: 10px; 
}

.center {
    text-align: center;
}
/* Header */
.percentage { font-size: small; }

a {
    color: blue;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

.pageheader a {
    color: #c09797;
}
.actions {
    text-align: right;
}
.actions ul { border: none; }
.pageheader #otherlanguages {
    display: inline;
    border-bottom: none;
    margin: 0px;
    padding: 0px;
}

.pageheader #otherlanguages ul {     
    margin: 0px;
    padding: 0px;
    border-bottom: 12px;
    list-style-type: none; 
}
#otherlanguages ul li { display: inline; }

.theorem:before {
    font-weight: bold;
    content: attr(data-kind) " " attr(data-number) "." attr(data-title);
}

.theorem {
    font-variant: italic;
}

div.sourceCode {
    margin-left: 10px;
    border: 2px solid darkgreen;
    background-color:#eeffee;
    padding: 10px;
}

img {
    max-width: 100%;
}