elegant.less 3.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163
  1. @import "../bootstrap/less/bootstrap.less";
  2. @import "../bootstrap/less/utilities.less";
  3. @import "custom-variables.less";
  4. .mixin-no-color-no-decoration() {
  5. color: inherit;
  6. text-decoration: none;
  7. }
  8. h1, h2, h3, h4, h5, h6 {
  9. .mixin-no-color-no-decoration;
  10. small {
  11. .mixin-no-color-no-decoration;
  12. }
  13. a {
  14. .mixin-no-color-no-decoration;
  15. &:hover {
  16. .mixin-no-color-no-decoration;
  17. }
  18. &:focus {
  19. .mixin-no-color-no-decoration;
  20. }
  21. }
  22. }
  23. .form-control {
  24. &:extend(.form-control);
  25. border-radius: 15px;
  26. }
  27. .navbar-form {
  28. &:extend(.navbar-form);
  29. @media (max-width: @grid-float-breakpoint) {
  30. margin-left: 0;
  31. margin-right: 0;
  32. }
  33. @media (min-width: @screen-sm-min) {
  34. .form-control {
  35. width: 100%;
  36. }
  37. }
  38. }
  39. .navbar-default {
  40. &:extend(.navbar-default);
  41. background-color: @el-navbar-top-background-color;
  42. background-image: @el-navbar-top-background-image;
  43. background-repeat: repeat-x;
  44. border: @el-navbar-top-border;
  45. box-shadow: @el-navbar-top-box-shadow;
  46. }
  47. .list-of-tags {
  48. font-family: @font-family-sans-serif;
  49. ul& {
  50. list-style: none outside none;
  51. margin: 20px 0 0;
  52. overflow: hidden;
  53. padding: 0;
  54. li {
  55. float: left;
  56. line-height: 2em;
  57. margin: 0;
  58. }
  59. a {
  60. background: @gray-lighter;
  61. border-radius: 3px;
  62. color: #222;
  63. font-size: 1em;
  64. margin: 2px;
  65. padding: 3px 6px;
  66. text-decoration: none;
  67. span {
  68. font-size: .8em;
  69. vertical-align: super;
  70. }
  71. }
  72. }
  73. }
  74. .articles-in-tag {
  75. font-family: @font-family-sans-serif;
  76. ul& {
  77. list-style: none outside none;
  78. margin: 0 0 0 5px;
  79. li {
  80. font-size: 1.1em;
  81. line-height: 1.6em;
  82. time {
  83. color: @gray-light;
  84. display: inline-block;
  85. font-family: @font-family-monospace;
  86. font-size: .9em;
  87. width: 7em;
  88. }
  89. }
  90. }
  91. }
  92. .page-header {
  93. &:extend(.page-header);
  94. color: @el-page-header-color;
  95. margin-top: 10px;
  96. padding-left: 5px;
  97. }
  98. // footer code is taken from http://getbootstrap.com/examples/sticky-footer-navbar/
  99. html {
  100. min-height: 100%;
  101. position: relative;
  102. }
  103. body {
  104. margin-bottom: @el-page-footer-height;
  105. @media (max-width: @screen-md) {
  106. margin-bottom: @el-page-footer-height + @el-page-footer-height-subset * 1;
  107. }
  108. @media (max-width: @screen-sm) {
  109. margin-bottom: @el-page-footer-height + @el-page-footer-height-subset * 2;
  110. }
  111. @media (max-width: @screen-xs) {
  112. margin-bottom: @el-page-footer-height + @el-page-footer-height-subset * 3;
  113. }
  114. }
  115. footer {
  116. align-items: center;
  117. background-color: @el-page-footer-color;
  118. border-top: @el-page-footer-border-top;//1px solid rgba(0, 0, 0, .2);
  119. bottom: 0;
  120. display: flex;
  121. height: @el-page-footer-height;
  122. @media (max-width: @screen-md) {
  123. height: @el-page-footer-height + @el-page-footer-height-subset * 1;
  124. }
  125. @media (max-width: @screen-sm) {
  126. height: @el-page-footer-height + @el-page-footer-height-subset * 2;
  127. }
  128. @media (max-width: @screen-xs) {
  129. height: @el-page-footer-height + @el-page-footer-height-subset * 3;
  130. }
  131. position: absolute;
  132. width: 100%;
  133. div {
  134. font-family: @font-family-sans-serif;
  135. font-size: 0.8em;
  136. text-align: left;
  137. &:only-child {
  138. text-align: right; // if only elegant license is present
  139. }
  140. @media (min-width: @screen-md) {
  141. &:last-child {
  142. text-align: right;
  143. }
  144. }
  145. @media (max-width: @screen-md) {
  146. &:nth-last-child(2), &:nth-last-child(3) {
  147. margin-bottom: 4px;
  148. }
  149. }
  150. }
  151. }