elegant.less 4.3 KB

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