Move web content to dedicated content directory

2022-11-15 10:32:02 -05:00
parent 4158a5991b
commit e082e0e550
446 changed files with 0 additions and 0 deletions
--- a/content/_archive/3/font-awesome/less/bordered-pulled.less
+++ b/content/_archive/3/font-awesome/less/bordered-pulled.less
@@ -0,0 +1,16 @@
+// 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; }
+}