pdf.less 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286
  1. .pdf-viewer, .pdf-logs, .pdf-errors, .pdf-uncompiled {
  2. .full-size;
  3. top: 58px;
  4. }
  5. .pdf-logs, .pdf-errors, .pdf-uncompiled, .pdf-validation-problems{
  6. padding: @line-height-computed / 2;
  7. }
  8. .pdf-uncompiled {
  9. .fa {
  10. color: @blue;
  11. }
  12. }
  13. .pdf-viewer {
  14. iframe {
  15. width: 100%;
  16. height: 100%;
  17. border: none;
  18. }
  19. .pdfjs-viewer {
  20. .full-size;
  21. background-color: @gray-lighter;
  22. overflow: scroll;
  23. canvas, div.pdf-canvas {
  24. background: white;
  25. box-shadow: black 0px 0px 10px;
  26. }
  27. div.pdf-canvas.pdfng-empty {
  28. background-color: white;
  29. }
  30. div.pdf-canvas.pdfng-loading {
  31. background-color: white;
  32. }
  33. .page-container {
  34. margin: 10px auto;
  35. padding: 0 10px;
  36. box-sizing: content-box;
  37. }
  38. }
  39. .progress-thin {
  40. position: absolute;
  41. top: -2px;
  42. height: 3px;
  43. left: 0;
  44. right: 0;
  45. .progress-bar {
  46. height: 100%;
  47. background-color: @link-color;
  48. }
  49. }
  50. .pdfjs-controls {
  51. position: absolute;
  52. padding: @line-height-computed / 2;
  53. top: 0;
  54. left: 0;
  55. display: inline-block;
  56. .btn-group {
  57. transition: opacity 0.5s ease, visibility 0 linear 0.5s;
  58. visibility: hidden;
  59. opacity: 0;
  60. }
  61. &:hover, &.flash {
  62. .btn-group {
  63. transition: none;
  64. visibility: visible;
  65. opacity: 1;
  66. }
  67. }
  68. i.fa-arrows-h {
  69. border-right: 2px solid white;
  70. border-left: 2px solid white;
  71. }
  72. i.fa-arrows-v {
  73. border-top: 2px solid white;
  74. border-bottom: 2px solid white;
  75. }
  76. }
  77. }
  78. .pdf .toolbar {
  79. .toolbar-right {
  80. margin-right: @line-height-computed / 2;
  81. a {
  82. &:hover {
  83. i {
  84. box-shadow: 1px 1px 0 rgba(0, 0, 0, 0.25);
  85. border-color: @gray-dark;
  86. }
  87. }
  88. i {
  89. display: inline-block;
  90. width: 16px;
  91. height: 16px;
  92. border: 1px solid @gray-light;
  93. margin-top: 5px;
  94. }
  95. i.full-screen {
  96. border-top-width: 3px;
  97. border-radius: 2px;
  98. }
  99. i.split-screen {
  100. width: 7px;
  101. border-top-width: 3px;
  102. border-radius: 2px;
  103. margin-left: 2px;
  104. }
  105. }
  106. }
  107. }
  108. .pdf-logs {
  109. overflow: auto;
  110. .alert {
  111. font-size: 0.9rem;
  112. margin-bottom: @line-height-computed / 2;
  113. cursor: pointer;
  114. .line-no {
  115. float: right;
  116. color: @gray;
  117. font-weight: 700;
  118. .fa {
  119. display: none;
  120. }
  121. }
  122. .entry-message {
  123. font-weight: 700;
  124. //font-family: @font-family-monospace;
  125. }
  126. .entry-content {
  127. white-space: pre-wrap;
  128. font-size: 0.8rem;
  129. //font-family: @font-family-monospace;
  130. }
  131. &:hover .line-no {
  132. color: inherit;
  133. .fa {
  134. display: inline-block;
  135. }
  136. }
  137. &.alert-danger:hover {
  138. background-color: darken(@alert-danger-bg, 5%);
  139. }
  140. &.alert-warning:hover {
  141. background-color: darken(@alert-warning-bg, 5%);
  142. }
  143. &.alert-info:hover {
  144. background-color: darken(@alert-info-bg, 5%);
  145. }
  146. }
  147. pre {
  148. font-size: 12px;
  149. }
  150. .dropdown {
  151. position: relative;
  152. }
  153. }
  154. .synctex-controls {
  155. top: 68px;
  156. padding: 0px 2px;
  157. .btn-xs {
  158. line-height: 1.3;
  159. padding: 0 2px 0;
  160. }
  161. }
  162. .editor-dark {
  163. .pdf-logs {
  164. background-color: lighten(@editor-dark-background-color, 10%);
  165. }
  166. .pdfjs-viewer {
  167. background-color: lighten(@editor-dark-background-color, 10%);
  168. }
  169. .pdf .toolbar {
  170. .toolbar-right a {
  171. i {
  172. border-color: @gray;
  173. }
  174. &:hover {
  175. i {
  176. border-color: @gray-light;
  177. }
  178. }
  179. }
  180. }
  181. }
  182. .keyboard-tooltip {
  183. .tooltip-inner {
  184. max-width: none;
  185. }
  186. }
  187. .keyboard-shortcut {
  188. white-space: nowrap;
  189. }
  190. .card-hint:extend(.card-thin) {
  191. margin-top: 10px;
  192. padding-bottom: 7px;
  193. cursor: default;
  194. &-icon-container {
  195. background: currentColor;
  196. width: 2.5rem;
  197. height: 2.5rem;
  198. font-size: 1.5rem;
  199. text-align: center;
  200. border-radius: 50%;
  201. float: left;
  202. margin-right: 10px;
  203. .fa {
  204. color: #FFF;
  205. }
  206. .alert-danger & {
  207. color: @alert-danger-border;
  208. }
  209. .alert-warning & {
  210. color: @alert-warning-border;
  211. }
  212. .alert-info & {
  213. color: @alert-info-border;
  214. }
  215. }
  216. &-text,
  217. &-feedback-label {
  218. color: @gray-dark;
  219. font-size: 0.9rem;
  220. margin-bottom: 20px;
  221. }
  222. &-text {
  223. min-height: 35px;
  224. }
  225. &-feedback-label {
  226. font-size: inherit;
  227. margin-right: 0.5em;
  228. margin-bottom: 0;
  229. font-weight: normal;
  230. }
  231. &-ext-link,
  232. &-feedback {
  233. display: inline-block;
  234. font-size: 0.8rem;
  235. }
  236. &-actions a,
  237. &-text a {
  238. .alert-danger & {
  239. color: @alert-danger-text;
  240. }
  241. .alert-warning & {
  242. color: @alert-warning-text;
  243. }
  244. .alert-info & {
  245. color: @alert-info-text;
  246. }
  247. }
  248. &-feedback {
  249. color: @gray-dark;
  250. float: right;
  251. }
  252. & + p {
  253. margin-top: 20px;
  254. }
  255. }