aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/assets/css/bootstrap.css14
1 files changed, 7 insertions, 7 deletions
diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index f9f1fb932..33833789c 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -1292,7 +1292,7 @@ input[type="search"],
input[type="tel"],
input[type="color"] {
display: block;
- min-height: 36px;
+ min-height: 38px;
padding: 8px 12px;
font-size: 14px;
line-height: 1.428571429;
@@ -1368,10 +1368,10 @@ input[type="checkbox"] {
select,
input[type="file"] {
- height: 36px;
+ height: 38px;
/* In IE7, the height of the select element cannot be changed by height, only font-size. TODO: Check if this is still needed when dropping IE7 support */
- line-height: 36px;
+ line-height: 38px;
}
select[multiple],
@@ -1505,7 +1505,7 @@ input[type="url"].input-small,
input[type="search"].input-small,
input[type="tel"].input-small,
input[type="color"].input-small {
- min-height: 30px;
+ min-height: 32px;
padding: 5px 10px;
font-size: 12px;
border-radius: 3px;
@@ -3532,8 +3532,8 @@ button.close {
}
.navbar-form {
- margin-top: 7px;
- margin-bottom: 7px;
+ margin-top: 6px;
+ margin-bottom: 6px;
}
.navbar-form input,
@@ -3704,7 +3704,7 @@ button.close {
}
.navbar-btn {
- margin-top: 7px;
+ margin-top: 6px;
}
.navbar-text {