diff options
Diffstat (limited to 'portal-common/src/main/webapp/common/thirdparty/font-awesome/less/bordered-pulled.less')
-rw-r--r-- | portal-common/src/main/webapp/common/thirdparty/font-awesome/less/bordered-pulled.less | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/portal-common/src/main/webapp/common/thirdparty/font-awesome/less/bordered-pulled.less b/portal-common/src/main/webapp/common/thirdparty/font-awesome/less/bordered-pulled.less deleted file mode 100644 index 48a7004d..00000000 --- a/portal-common/src/main/webapp/common/thirdparty/font-awesome/less/bordered-pulled.less +++ /dev/null @@ -1,16 +0,0 @@ -// Bordered & Pulled
-// -------------------------
-
-.@{fa-css-prefix}-border {
- padding: .2em .25em .15em;
- border: solid .08em @fa-border-color;
- border-radius: .1em;
-}
-
-.pull-right { float: right; }
-.pull-left { float: left; }
-
-.@{fa-css-prefix} {
- &.pull-left { margin-right: .3em; }
- &.pull-right { margin-left: .3em; }
-}
|