Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[enhance] stdlib, bootstrap: improvement of icons positioning CSS

  • Loading branch information...
commit 78b00a5cd7169b2054d4632f989abfa034ec54fc 1 parent 97b0f3a
Ida Swarczewskaja authored
Showing with 28 additions and 12 deletions.
  1. +28 −12 stdlib/themes/bootstrap/core/core.opa
View
40 stdlib/themes/bootstrap/core/core.opa
@@ -57,14 +57,22 @@ get_img(name) =
icon16 = css
/* Icons 16px */
/* Default 16px gray icons for light backgrounds */
+/* .icon should be replaced by: [class^="icon-"],[class*=" icon-"] */
.icon {
- width: 16px;
- height: 16px;
- background-image: {get_img("icons16-gray.png")} ;
- background-repeat: no-repeat;
- display: inline-block;
- vertical-align: text-top;
+ display:inline-block;
+ width:16px;
+ height:16px;
+ line-height:16px;
+ vertical-align:text-top;
+ background-image:{get_img("icons16-gray.png")};
+ background-position:16px 16px;
+ background-repeat:no-repeat;
+ margin-right:0.3em; /* should be replaced by *margin-right */
}
+/*
+[class^="icon-"]:last-child,[class*=" icon-"]:last-child {
+ *margin-left:0;
+}*/
/* Dark gray icons, default hover style */
.icon:hover, .icon.icon-darkgray, .icons-darkgray .icon {background-image: {get_img("icons16-darkGray.png")};}
@@ -308,14 +316,22 @@ icon32 = css
/* ---------------- Icons 32px ---------------- */
/* Default 32px gray icons for light backgrounds */
+/* .icon32 should be replaced by: [class^="icon32-"],[class*=" icon32-"] */
.icon32 {
- width: 32px;
- height: 32px;
- background-image: {get_img("icons32-gray.png")};
- background-repeat: no-repeat;
- display: inline-block;
- vertical-align: text-top;
+ display:inline-block;
+ width:32px;
+ height:32px;
+ line-height:32px;
+ vertical-align:text-top;
+ background-image:{get_img("icons32-gray.png")};
+ background-position:32px 32px;
+ background-repeat:no-repeat;
+ margin-right:0.3em; /* should be replaced by *margin-right */
}
+/*
+[class^="icon32-"]:last-child,[class*=" icon32-"]:last-child {
+ *margin-left:0;
+}*/
/* Dark gray icons, default hover style */
.icon32:hover, .icon32.icon-darkgray, .icons-darkgray .icon32 {background-image: {get_img("icons32-darkGray.png")};}
Please sign in to comment.
Something went wrong with that request. Please try again.