pdf.less 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164
  1. .pdf-viewer, .pdf-logs, .pdf-errors, .pdf-uncompiled {
  2. .full-size;
  3. top: 58px;
  4. }
  5. .pdf-logs, .pdf-errors, .pdf-uncompiled {
  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 {
  24. background: white;
  25. box-shadow: black 0px 0px 10px;
  26. }
  27. .page-container {
  28. margin: 10px auto;
  29. padding: 0 10px;
  30. box-sizing: content-box;
  31. }
  32. }
  33. .progress-thin {
  34. position: absolute;
  35. top: -2px;
  36. height: 3px;
  37. left: 0;
  38. right: 0;
  39. .progress-bar {
  40. height: 100%;
  41. background-color: @link-color;
  42. }
  43. }
  44. .pdfjs-controls {
  45. position: absolute;
  46. padding: @line-height-computed / 2;
  47. top: 0;
  48. left: 0;
  49. display: inline-block;
  50. .btn-group {
  51. transition: opacity 0.5s ease, visibility 0 linear 0.5s;
  52. visibility: hidden;
  53. opacity: 0;
  54. }
  55. &:hover, &.flash {
  56. .btn-group {
  57. transition: none;
  58. visibility: visible;
  59. opacity: 1;
  60. }
  61. }
  62. i.fa-arrows-h {
  63. border-right: 2px solid white;
  64. border-left: 2px solid white;
  65. }
  66. i.fa-arrows-v {
  67. border-top: 2px solid white;
  68. border-bottom: 2px solid white;
  69. }
  70. }
  71. }
  72. .pdf .toolbar {
  73. .toolbar-right {
  74. margin-right: @line-height-computed / 2;
  75. a {
  76. &:hover {
  77. i {
  78. box-shadow: 1px 1px 0 rgba(0, 0, 0, 0.25);
  79. border-color: @gray-dark;
  80. }
  81. }
  82. i {
  83. display: inline-block;
  84. width: 16px;
  85. height: 16px;
  86. border: 1px solid @gray-light;
  87. margin-top: 5px;
  88. }
  89. i.full-screen {
  90. border-top-width: 3px;
  91. border-radius: 2px;
  92. }
  93. i.split-screen {
  94. width: 7px;
  95. border-top-width: 3px;
  96. border-radius: 2px;
  97. margin-left: 2px;
  98. }
  99. }
  100. }
  101. }
  102. .pdf-logs {
  103. overflow: auto;
  104. .alert {
  105. font-size: 0.9rem;
  106. margin-bottom: @line-height-computed / 2;
  107. cursor: pointer;
  108. .line-no {
  109. float: right;
  110. color: @gray;
  111. font-weight: 700;
  112. }
  113. .entry-message {
  114. font-weight: 700;
  115. //font-family: @font-family-monospace;
  116. }
  117. .entry-content {
  118. white-space: pre-wrap;
  119. font-size: 0.8rem;
  120. //font-family: @font-family-monospace;
  121. }
  122. }
  123. pre {
  124. font-size: 12px;
  125. }
  126. .dropdown {
  127. position: relative;
  128. }
  129. }
  130. .synctex-controls {
  131. top: 68px;
  132. padding: 0px 2px;
  133. .btn-xs {
  134. line-height: 1.3;
  135. padding: 0 2px 0;
  136. }
  137. }
  138. .editor-dark {
  139. .pdf-logs {
  140. background-color: lighten(@editor-dark-background-color, 10%);
  141. }
  142. .pdfjs-viewer {
  143. background-color: lighten(@editor-dark-background-color, 10%);
  144. }
  145. .pdf .toolbar {
  146. .toolbar-right a {
  147. i {
  148. border-color: @gray;
  149. }
  150. &:hover {
  151. i {
  152. border-color: @gray-light;
  153. }
  154. }
  155. }
  156. }
  157. }