mirror of
https://github.com/reality/dbot.git
synced 2024-12-26 04:32:37 +01:00
a61a2300ab
## Additions + Add current branch to display + Pass Github repo through to the page + Add link to source + Differentiate "progress bar" and "milestone" headers again + Add Git ``h4``, renamed "version control" because it's more interesting to translate + Add progress percentages to the progress bars - Remove redundant short-hash placeholder - Remove extraneous margins on ``ul`` - Simplify progress calculation code * Change some variable names to be more forthcoming about what they represent * Fix links to the milestones * Fix indentation of strings.json
74 lines
1.4 KiB
CSS
74 lines
1.4 KiB
CSS
pre#gitdiff {
|
|
text-align:left;
|
|
width:80;
|
|
margin:auto;
|
|
}
|
|
div#main {
|
|
text-align:inherit;
|
|
font-size:18px;
|
|
}
|
|
h2,h3,h4,h5,h6,.center {
|
|
text-align:center;
|
|
text-transform:lowercase;
|
|
}
|
|
table#milestones {
|
|
margin:auto;
|
|
width:80%;
|
|
}
|
|
table#milestones td {
|
|
padding:5px;
|
|
}
|
|
p.intro {
|
|
text-align:center;
|
|
border:1px solid #ccc;
|
|
padding:20px;
|
|
border-radius:4px;
|
|
}
|
|
div.progress.open {
|
|
background-color: #f4fff4;
|
|
background-image: linear-gradient(to bottom,#f4fff4,#f9fff9);
|
|
}
|
|
div.progress {
|
|
margin-top:auto;
|
|
margin-bottom:auto;
|
|
text-align:left;
|
|
font-size:50%;
|
|
color:gray;
|
|
}
|
|
div.progress-inner.open {
|
|
background-color: #3fff3f;
|
|
background-image: linear-gradient(to bottom,#3fff3f,#7fff7f);
|
|
float:left;
|
|
margin-right:2px;
|
|
}
|
|
div.progress.closed {
|
|
background-color: #fff5f5;
|
|
background-image: linear-gradient(to bottom,#fff5f5,#fff9f9);
|
|
}
|
|
div.progress-inner.closed {
|
|
background-color: #ff3f3f;
|
|
background-image: linear-gradient(to bottom,#ff3f3f,#ff7f7f);
|
|
}
|
|
|
|
#config {
|
|
text-align:center;
|
|
text-transform:lowercase;
|
|
}
|
|
|
|
ul {
|
|
text-align:center;
|
|
margin-left:0;
|
|
margin-bottom:5px;
|
|
}
|
|
li {
|
|
background-image: linear-gradient(to bottom, #f5ebe2, #f5e6d8);
|
|
border:1px solid #f5dcc5;
|
|
padding:5px;
|
|
margin:5px;
|
|
display:inline-block;
|
|
}
|
|
|
|
#footer {
|
|
font-size:80%;
|
|
}
|