wiki.less 3.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150
  1. .wiki {
  2. .contents {
  3. ul {
  4. padding: 0;
  5. li {
  6. font-size: 14px;
  7. list-style: none;
  8. margin-bottom: 6px;
  9. }
  10. }
  11. h2 {
  12. font-size: 18px;
  13. }
  14. }
  15. img {
  16. height: auto;
  17. max-width: 100%;
  18. }
  19. .page-header {
  20. a {
  21. font-size: 0.8em;
  22. line-height: 1;
  23. }
  24. }
  25. .editsection {
  26. display: none;
  27. }
  28. table {
  29. th, td {
  30. padding: (@line-height-computed / 4) (@line-height-computed / 2);
  31. border-bottom: 1px solid @gray-lighter;
  32. }
  33. th {
  34. font-weight: 700;
  35. text-align: left;
  36. font-family: @font-family-serif;
  37. }
  38. margin-bottom: @line-height-computed / 2;
  39. }
  40. .table-no-borders {
  41. th, td {
  42. border: 0px;
  43. }
  44. }
  45. .example {
  46. max-width: 100%;
  47. .code {
  48. pre {
  49. background-color: @gray-lightest;
  50. border-radius: 6px;
  51. padding: (@line-height-computed / 2);
  52. white-space: pre-wrap;
  53. margin: 0;
  54. }
  55. }
  56. .output {
  57. text-align: center;
  58. padding-top: 10px;
  59. img {
  60. width: auto;
  61. height: auto;
  62. max-width: 100%;
  63. box-shadow: 0 1px 3px @gray-light;
  64. border-radius: 6px;
  65. }
  66. }
  67. }
  68. @media (min-width: 1360px) {
  69. .example {
  70. margin-right: -200px;
  71. }
  72. }
  73. @media (max-width: @screen-sm) {
  74. .contents {
  75. margin-top: @margin-lg;
  76. }
  77. }
  78. /*<![CDATA[*/
  79. .source-latex {line-height: normal;}
  80. .source-latex li, .source-latex pre {
  81. line-height: normal; border: 0px none white;
  82. }
  83. /**
  84. * GeSHi Dynamically Generated Stylesheet
  85. * --------------------------------------
  86. * Dynamically generated stylesheet for latex
  87. * CSS class: source-latex, CSS id:
  88. * GeSHi (C) 2004 - 2007 Nigel McNie, 2007 - 2008 Benny Baumann
  89. * (http://qbnz.com/highlighter/ and http://geshi.org/)
  90. * --------------------------------------
  91. */
  92. .latex.source-latex .imp {font-weight: bold; color: red;}
  93. .latex.source-latex li, .latex.source-latex .li1 {font-weight: normal; vertical-align:top;}
  94. .latex.source-latex .ln {width:1px;text-align:right;margin:0;padding:0 2px;vertical-align:top;}
  95. .latex.source-latex .li2 {font-weight: bold; vertical-align:top;}
  96. .latex.source-latex .kw1 {color: #800000;}
  97. .latex.source-latex .co1 {color: #2C922C; font-style: italic;}
  98. .latex.source-latex .es0 {color: #000000; font-weight: bold;}
  99. .latex.source-latex .sy0 {color: #E02020; }
  100. .latex.source-latex .st0 {color: #000000;}
  101. .latex.source-latex .re1 {color: #8020E0; font-weight: normal;}
  102. .latex.source-latex .re2 {color: #C08020; font-weight: normal;}
  103. .latex.source-latex .re3 {color: #8020E0; font-weight: normal;}
  104. .latex.source-latex .re4 {color: #800000; font-weight: normal;}
  105. .latex.source-latex .re5 {color: #00008B; font-weight: bold;}
  106. .latex.source-latex .re6 {color: #800000; font-weight: normal;}
  107. .latex.source-latex .re7 {color: #0000D0; font-weight: normal;}
  108. .latex.source-latex .re8 {color: #C00000; font-weight: normal;}
  109. .latex.source-latex .re9 {color: #2020C0; font-weight: normal;}
  110. .latex.source-latex .re10 {color: #800000; font-weight: normal;}
  111. .latex.source-latex .re11 {color: #E00000; font-weight: normal;}
  112. .latex.source-latex .re12 {color: #800000; font-weight: normal;}
  113. .latex.source-latex .ln-xtra, .latex.source-latex li.ln-xtra, .latex.source-latex div.ln-xtra {background-color: #ffc;}
  114. .latex.source-latex span.xtra { display:block; }
  115. /*]]>*/
  116. a.search-result {
  117. display: block;
  118. margin-top: @line-height-computed / 2;
  119. .search-result-content {
  120. margin-top: @line-height-computed / 4;
  121. white-space: pre-wrap;
  122. font-size: 0.8em;
  123. color: @gray-dark;
  124. em {
  125. font-weight: bold;
  126. }
  127. }
  128. &:hover, &:active, &:focus {
  129. text-decoration: none;
  130. .search-result-content {
  131. color: @gray-darker;
  132. }
  133. box-shadow: 0 2px 4px rgba(0,0,0,0.35);
  134. }
  135. }
  136. }