1
0
Fork 0
mirror of https://git.ludikovsky.name/git/fugitive.git synced 2024-05-18 14:35:32 +02:00
fugitive/default-files/fugitive.css

304 lines
6.2 KiB
CSS

* { margin: 0; padding: 0; }
html, body {
background-color: #fff;
margin: 0;
padding: 0;
font-family: monospace;
font-size: 1em;
text-align: center;
color: #333;
}
#container {
padding: 0 1em;
margin: 0 auto;
width: 51%;
min-width: 480px;
}
#container header a, #container h1 a, #container h2 a,
#container h3 a, #container h4 a {
color: #333;
text-decoration: none;
}
#container a:hover, #container a:active { color: #9c3; }
nav {
display: block;
margin: 0;
padding: 0.3em 1em;
border-width: 1px;
border-color: #ccc;
border-style: solid none;
background: #f2f2f2;
color: #aaa;
text-align: left;
}
#topnav {
border-style: none solid solid solid;
font-size: 1.3em;
}
nav ul { padding: 0; margin: 0; }
nav ul.nav {
float: right;
width: 50%;
text-align: right;
}
nav ul li { display: inline; }
nav ul li:before { content: " — "; }
nav ul li:first-child:before { content: ""; }
nav ul li a {
color: #aaa;
text-decoration: none;
}
#container nav ul li a:hover, #container nav ul li a:active { color: #888; }
header {
display: block;
margin: 1em 0;
padding: 1em;
border: 4px double #ccc;
}
header h1 {
margin: 0 0 0.3em 0;
madding: 0;
font-size: 2em;
font-weight: normal;
}
header q {
font-size: 1.2em;
font-style: italic;
}
article {
display: block;
text-align: left;
margin-bottom: 3em;
counter-reset: code figure example section subsection;
}
article header {
display: block;
margin: 2em 0 0 0;
padding: 0;
border-style: none;
border-bottom: 1px dashed #ccc;
}
article header h1 {
margin: 0;
padding: 0 0 0.1em 0;
font-size: 1.5em;
font-weight: bold;
}
article footer {
display: block;
margin: 0.3em 0 2em 0;
padding: 0;
border-style: none;
color: #888;
font-size: 1em;
text-align: right;
}
article > div {
margin: 0;
padding: 0;
line-height: 1.5em;
font-size: 1.1em;
}
article > div a {
color: #08f;
text-decoration: underline;
}
article > div a:hover, article > div a:active { text-decoration: underline; }
article > div a:visited { color: #048; }
article > div h2 {
margin: 1em 0 0.5em 0;
font-size: 1.4em;
font-weight: normal;
counter-increment: section;
counter-reset: subsection;
}
article > div h2:before {
display: inline;
content: counter(section) ". ";
}
article > div h3 {
margin: 1em 0 0.5em 0;
font-size: 1.2em;
font-weight: bold;
counter-increment: subsection;
}
article > div h3:before {
display: inline;
content: counter(section) "." counter(subsection) ". ";
}
article > div h4 {
margin: 1em 0 0.5em 0;
font-size: 1.1em;
font-weight: bold;
}
article > div > p:first-child:first-letter {
font-size: 1.5em;
font-weight: bold;
}
article > div p {
margin: 1em 0;
text-indent: 2em;
}
article > div p.important:before {
content: "important: ";
color: #f00;
font-weight: bold;
font-variant: small-caps;
}
article > div p.warning:before {
content: "warning: ";
color: #fa0;
font-weight: bold;
font-variant: small-caps;
}
article > div p.info:before {
content: "info: ";
color: #080;
font-weight: bold;
font-variant: small-caps;
}
article > div p.note:before {
content: "note: ";
font-weight: bold;
font-variant: small-caps;
}
article > div p.example { counter-increment: example; }
article > div p.example:before {
content: "example " counter(example) ":";
font-variant: small-caps;
}
article > div aside {
display: block;
padding: 0 0.5em;
margin: 0.5em 0 0.5em 0.5em;
width: 36%;
float: right;
border: 1px solid #ccc;
text-align: justify;
background-color: #f2f2f2;
}
article > div aside p {
font-size: 0.9em;
margin: 0.5em 0;
}
article > div ul, article > div ol {
margin: 1em 0;
padding: 0 0 0 3em;
}
article > div ul > li, article > div ol > li {
margin: 0 0 0.2em 0;
padding: 0 0 0 0.5em;
list-style-position: outside;
}
article > div ul > li { list-style-type: circle; }
article > div ol > li { list-style-type: decimal; }
article > div dl {
margin: 1em 0;
padding: 0;
}
article > div dl dt {
margin: 0;
padding: 0;
font-weight: bold;
}
article > div dl dd {
margin: 0 0 0.3em 0;
padding: 0 0 0 2em;
}
article > div blockquote {
margin: 1em 0;
padding: 0.5em;
padding-left: 2em;
background: #f2f2f2;
border-left: 0.1em solid #ccc;
}
article > div blockquote p { margin: 0.5em 0; }
article > div code {
color: #eee;
background-color: #666;
padding: 0 0.2em;
}
article > div pre:before {
display: block;
padding: 0 0.5em;
font-size: 0.8em;
line-height: 1em;
background-color: #444;
content: "code " counter(code) ":";
counter-increment: code;
}
article > div pre {
margin: 1em 0;
padding: 0.5em;
overflow: auto;
color: #ccc;
background-color: #333;
max-height: 420px;
}
article > div pre .comment { color: #888; }
article > div pre .comment-delimiter { color: #888; }
article > div pre .constant { color: #d0d; }
article > div pre .function-name { color: #27d; }
article > div pre .keyword { color: #dd0; }
article > div pre .preprocessor { color: #9c3; }
article > div pre .string { color: #3af; }
article > div pre .type { color: #fa0; }
article > div pre .variable-name { color: #0b0; }
article > div figure {
display: block;
margin: 1em 0;
padding: 0;
text-align: center;
}
article > div figure figcaption {
display: block;
counter-increment: figure;
}
article > div figure.example figcation { counter-increment: example; }
article > div figure figcaption:before {
display: inline;
content: "figure " counter(figure) ":";
font-variant: small-caps;
}
article > div figure.example figcaption:before {
display: inline;
content: "example " counter(example) ":";
font-variant: small-caps;
}
article > div .left {
float: left;
margin: 0 1em 0.5em 0;
}
article > div .right {
float: right;
margin: 0 0 0.5em 1em;
}
article > div .center { text-align: center; }
article > div hr {
margin: 1.5em auto;
padding: 0;
height: 1px;
width: 80%;
border: none;
background-color: #aaa;
}
footer {
display: block;
margin: 1em 0 0 0;
padding: 1em;
border-top: 1px dotted #aaa;
color: #888;
font-size: 0.9em;
clear: both;
}
footer p {
margin: 0;
padding: 0;
line-height: 1.5em;
}
footer p a {
color: #666;
text-decoration: none;
}
#container footer p a:hover, #container footer p a:active { color: #333; }