css: Auto-format git-arr.css

Auto-format static/git-arr.css with https://blitiri.com.ar/git/r/css3fmt/
for consistency.
This commit is contained in:
Alberto Bertogli 2021-05-15 00:49:11 +01:00
parent 78f1b6def0
commit 0d61bbf7f5

@ -1,8 +1,6 @@
/* /*
* git-arr style sheet * git-arr style sheet
*/ */
body { body {
font-family: sans-serif; font-family: sans-serif;
padding: 0 1em 1em 1em; padding: 0 1em 1em 1em;
@ -25,20 +23,24 @@ hr {
height: 1px; height: 1px;
} }
/* By default, use implied links, more discrete for increased readability. */ /* By default, use implied links, more discrete for increased readability. */
a { a {
text-decoration: none; text-decoration: none;
color: black; color: black;
} }
a:hover { a:hover {
text-decoration: underline; text-decoration: underline;
color: #800; color: #800;
} }
/* Explicit links */ /* Explicit links */
a.explicit { a.explicit {
color: #038; color: #038;
} }
a.explicit:hover, a.explicit:active { a.explicit:hover, a.explicit:active {
color: #880000; color: #880000;
} }
@ -48,18 +50,23 @@ a.explicit:hover, a.explicit:active {
table.nice { table.nice {
text-align: left; text-align: left;
} }
table.nice td { table.nice td {
padding: 0.15em 0.5em; padding: 0.15em 0.5em;
} }
table.nice td.links { table.nice td.links {
} }
table.nice td.main { table.nice td.main {
min-width: 10em; min-width: 10em;
} }
table.nice tr:hover { table.nice tr:hover {
background: #eee; background: #eee;
} }
/* Table for commits. */ /* Table for commits. */
table.commits td.date { table.commits td.date {
font-style: italic; font-style: italic;
@ -71,39 +78,48 @@ table.commits td.date {
min-width: 32em; min-width: 32em;
} }
} }
table.commits td.author { table.commits td.author {
color: gray; color: gray;
} }
/* Table for commit information. */ /* Table for commit information. */
table.commit-info tr:hover { table.commit-info tr:hover {
background: inherit; background: inherit;
} }
table.commit-info td { table.commit-info td {
vertical-align: top; vertical-align: top;
} }
table.commit-info span.date, span.email { table.commit-info span.date, span.email {
color: gray; color: gray;
} }
/* Reference annotations. */ /* Reference annotations. */
span.refs { span.refs {
margin: 0px 0.5em; margin: 0px 0.5em;
padding: 0px 0.25em; padding: 0px 0.25em;
border: solid 1px gray; border: solid 1px gray;
} }
span.head { span.head {
background-color: #88ff88; background-color: #88ff88;
} }
span.tag { span.tag {
background-color: #ffff88; background-color: #ffff88;
} }
/* Projects table */ /* Projects table */
table.projects td.name a { table.projects td.name a {
color: #038; color: #038;
} }
/* Age of an object. /* Age of an object.
* Note this is hidden by default as we rely on javascript to show it. */ * Note this is hidden by default as we rely on javascript to show it. */
span.age { span.age {
@ -124,30 +140,37 @@ span.age-band2 {
color: seagreen; color: seagreen;
} }
/* Toggable titles */ /* Toggable titles */
div.toggable-title { div.toggable-title {
font-weight: bold; font-weight: bold;
margin-bottom: 0.3em; margin-bottom: 0.3em;
} }
/* Commit message and diff. */ /* Commit message and diff. */
pre.commit-message { pre.commit-message {
font-size: large; font-size: large;
padding: 0.2em 2em; padding: 0.2em 2em;
} }
pre.diff-body { pre.diff-body {
/* Note this is only used as a fallback if pygments is not available. */ /* Note this is only used as a fallback if pygments is not available. */
} }
table.changed-files { table.changed-files {
font-family: monospace; font-family: monospace;
} }
table.changed-files span.lines-added { table.changed-files span.lines-added {
color: green; color: green;
} }
table.changed-files span.lines-deleted { table.changed-files span.lines-deleted {
color: red; color: red;
} }
/* Pagination. */ /* Pagination. */
div.paginate { div.paginate {
padding-bottom: 1em; padding-bottom: 1em;
@ -157,20 +180,24 @@ div.paginate span.inactive {
color: gray; color: gray;
} }
/* Directory listing. */ /* Directory listing. */
@media (min-width: 600px) { @media (min-width: 600px) {
table.ls td.name { table.ls td.name {
min-width: 20em; min-width: 20em;
} }
} }
table.ls { table.ls {
font-family: monospace; font-family: monospace;
font-size: larger; font-size: larger;
} }
table.ls tr.blob td.size { table.ls tr.blob td.size {
color: gray; color: gray;
} }
/* Blob. */ /* Blob. */
pre.blob-body { pre.blob-body {
/* Note this is only used as a fallback if pygments is not available. */ /* Note this is only used as a fallback if pygments is not available. */
@ -192,30 +219,36 @@ table.blob-binary tr.etc {
text-align: center; text-align: center;
} }
/* Pygments overrides. */ /* Pygments overrides. */
div.linenodiv { div.linenodiv {
padding-right: 0.5em; padding-right: 0.5em;
font-size: larger; /* must match div.source_code */ font-size: larger;
/* must match div.source_code */
} }
div.linenodiv a { div.linenodiv a {
color: gray; color: gray;
} }
div.source_code { div.source_code {
background: inherit; background: inherit;
font-size: larger; font-size: larger;
} }
/* Repository information table. */ /* Repository information table. */
table.repo_info tr:hover { table.repo_info tr:hover {
background: inherit; background: inherit;
} }
table.repo_info td.category { table.repo_info td.category {
font-weight: bold; font-weight: bold;
/* So we can copy-paste rows and preserve spaces, useful for the row: /* So we can copy-paste rows and preserve spaces, useful for the row:
* git clone | url * git clone | url */
*/
white-space: pre-wrap; white-space: pre-wrap;
} }
table.repo_info td { table.repo_info td {
vertical-align: top; vertical-align: top;
} }
@ -223,9 +256,10 @@ table.repo_info td {
span.ctrlchr { span.ctrlchr {
color: gray; color: gray;
padding: 0 0.2ex 0 0.1ex; padding: 0 0.2ex 0 0.1ex;
margin: 0 0.2ex 0 0.1ex; margin: 0 0.2ex 0 0.1ex;
} }
/* /*
* Markdown overrides * Markdown overrides
*/ */
@ -234,10 +268,12 @@ span.ctrlchr {
div.markdown a { div.markdown a {
color: #038; color: #038;
} }
div.markdown a:hover, div.markdown a:active { div.markdown a:hover, div.markdown a:active {
color: #880000; color: #880000;
} }
/* Restrict max width for readability */ /* Restrict max width for readability */
div.markdown { div.markdown {
max-width: 55em; max-width: 55em;