urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-11 23:48:22 +03:00
Code Issues Packages Projects Releases Wiki Activity

and bootstrap

Browse Source
This commit is contained in:
Galen Wolfe-Pauly 2016-03-23 10:01:31 -07:00
parent 5ac992dedb
commit 27b70ed154
1 changed files with 32 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
web/lib/css/bootstrap.css vendored
View File

@ -328,7 +328,7 @@ html {
body {
font-family: "bau", "Helvetica Neue", Helvetica, Arial, sans-serif;
font-size: 1rem;
line-height: 2;
line-height: 1.5;
color: #373a3c;
background-color: #fff;
}
@ -646,7 +646,7 @@ mark,
.blockquote-footer {
display: block;
font-size: 80%;
line-height: 2;
line-height: 1.5;
color: #b1b7bd;
}
@ -682,7 +682,7 @@ mark,
max-width: 100%;
height: auto;
padding: .25rem;
line-height: 2;
line-height: 1.5;
background-color: #fff;
border: 1px solid #ddd;
border-radius: .25rem;
@ -741,7 +741,7 @@ pre {
margin-top: 0;
margin-bottom: 1rem;
font-size: 90%;
line-height: 2;
line-height: 1.5;
color: #373a3c;
}
@ -1679,7 +1679,7 @@ pre code {
.table th,
.table td {
padding: .75rem;
line-height: 2;
line-height: 1.5;
vertical-align: top;
border-top: 1px solid #eceeef;
}
@ -1875,7 +1875,7 @@ pre code {
width: 100%;
padding: .375rem .75rem;
font-size: 1rem;
line-height: 2;
line-height: 1.5;
color: #55595c;
background-color: #fff;
background-image: none;
@ -1936,7 +1936,7 @@ pre code {
input[type="time"].form-control,
input[type="datetime-local"].form-control,
input[type="month"].form-control {
line-height: 2.75rem;
line-height: 2.25rem;
}
input[type="date"].input-sm,
.input-group-sm input[type="date"].form-control,
@ -1967,7 +1967,7 @@ pre code {
}
.form-control-static {
min-height: 2.75rem;
min-height: 2.25rem;
padding-top: .375rem;
padding-bottom: .375rem;
margin-bottom: 0;
@ -2074,9 +2074,9 @@ input[type="checkbox"].disabled {
.form-control-danger {
padding-right: 2.25rem;
background-repeat: no-repeat;
background-position: center right .6875rem;
-webkit-background-size: 1.7875rem 1.7875rem;
background-size: 1.7875rem 1.7875rem;
background-position: center right .5625rem;
-webkit-background-size: 1.4625rem 1.4625rem;
background-size: 1.4625rem 1.4625rem;
}
.has-success .text-help,
@ -2228,7 +2228,7 @@ input[type="checkbox"].disabled {
padding: .375rem 1rem;
font-size: 1rem;
font-weight: normal;
line-height: 2;
line-height: 1.5;
text-align: center;
white-space: nowrap;
vertical-align: middle;
@ -2857,7 +2857,7 @@ input[type="button"].btn-block {
padding: 3px 20px;
clear: both;
font-weight: normal;
line-height: 2;
line-height: 1.5;
color: #373a3c;
text-align: inherit;
white-space: nowrap;
@ -2912,7 +2912,7 @@ input[type="button"].btn-block {
display: block;
padding: 3px 20px;
font-size: .875rem;
line-height: 2;
line-height: 1.5;
color: #b1b7bd;
white-space: nowrap;
}
@ -3938,7 +3938,7 @@ input[type="button"].btn-block {
float: left;
padding: .5rem .75rem;
margin-left: -1px;
line-height: 2;
line-height: 1.5;
color: #000;
text-decoration: none;
background-color: #fff;
@ -4823,7 +4823,7 @@ button.close {
.modal-title {
margin: 0;
line-height: 2;
line-height: 1.5;
}
.modal-body {
@ -4888,7 +4888,7 @@ button.close {
font-size: .875rem;
font-style: normal;
font-weight: normal;
line-height: 2;
line-height: 1.5;
text-align: left;
text-align: start;
text-decoration: none;
@ -4988,7 +4988,7 @@ button.close {
font-size: .875rem;
font-style: normal;
font-weight: normal;
line-height: 2;
line-height: 1.5;
text-align: left;
text-align: start;
text-decoration: none;
@ -6004,6 +6004,10 @@ ul {
padding: 0 1rem;
}
b, strong {
font-weight: 500;
}
hr {
width: 66.666667%;
height: 1px;
@ -6061,6 +6065,12 @@ h3.first {
padding-bottom: 2rem;
}
h1.child,
h2.child,
h3.child {
padding-bottom: 0;
}
.gray {
color: #55595c;
}
@ -6270,13 +6280,11 @@ button#act {
.lead .logo {
display: inline-block;
width: 5rem;
height: 5rem;
margin-right: 3rem;
font-size: 4.4rem;
line-height: 5rem;
width: 3rem;
height: 3rem;
margin-right: 1rem;
text-align: center;
border-radius: 5rem;
border-radius: 50%;
}
@media (max-width: 991px) {