pdf.less 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351
  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. user-select: none;
  38. }
  39. }
  40. .progress-thin {
  41. position: absolute;
  42. top: -2px;
  43. height: 3px;
  44. left: 0;
  45. right: 0;
  46. .progress-bar {
  47. height: 100%;
  48. background-color: @link-color;
  49. }
  50. }
  51. .pdfjs-controls {
  52. position: absolute;
  53. padding: @line-height-computed / 2;
  54. top: 0;
  55. left: 0;
  56. display: inline-block;
  57. .btn-group {
  58. transition: opacity 0.5s ease, visibility 0 linear 0.5s;
  59. visibility: hidden;
  60. opacity: 0;
  61. }
  62. &:hover, &.flash {
  63. .btn-group {
  64. transition: none;
  65. visibility: visible;
  66. opacity: 1;
  67. }
  68. }
  69. i.fa-arrows-h {
  70. border-right: 2px solid white;
  71. border-left: 2px solid white;
  72. }
  73. i.fa-arrows-v {
  74. border-top: 2px solid white;
  75. border-bottom: 2px solid white;
  76. }
  77. }
  78. }
  79. .pdf .toolbar {
  80. .toolbar-right {
  81. margin-right: @line-height-computed / 2;
  82. a {
  83. &:hover {
  84. i {
  85. box-shadow: 1px 1px 0 rgba(0, 0, 0, 0.25);
  86. border-color: @gray-dark;
  87. }
  88. }
  89. i {
  90. display: inline-block;
  91. width: 16px;
  92. height: 16px;
  93. border: 1px solid @gray-light;
  94. margin-top: 5px;
  95. }
  96. i.full-screen {
  97. border-top-width: 3px;
  98. border-radius: 2px;
  99. }
  100. i.split-screen {
  101. width: 7px;
  102. border-top-width: 3px;
  103. border-radius: 2px;
  104. margin-left: 2px;
  105. }
  106. }
  107. }
  108. }
  109. .pdf-logs {
  110. overflow: auto;
  111. .alert {
  112. font-size: 0.9rem;
  113. margin-bottom: @line-height-computed / 2;
  114. cursor: pointer;
  115. .line-no {
  116. float: right;
  117. color: @gray;
  118. font-weight: 700;
  119. .fa {
  120. opacity: 0;
  121. }
  122. }
  123. .entry-message {
  124. font-weight: 700;
  125. //font-family: @font-family-monospace;
  126. }
  127. .entry-content {
  128. white-space: pre-wrap;
  129. font-size: 0.8rem;
  130. //font-family: @font-family-monospace;
  131. }
  132. &:hover .line-no {
  133. color: inherit;
  134. .fa {
  135. opacity: 1;
  136. }
  137. }
  138. &.alert-danger:hover {
  139. background-color: darken(@alert-danger-bg, 5%);
  140. }
  141. &.alert-warning:hover {
  142. background-color: darken(@alert-warning-bg, 5%);
  143. }
  144. &.alert-info:hover {
  145. background-color: darken(@alert-info-bg, 5%);
  146. }
  147. }
  148. pre {
  149. font-size: 12px;
  150. }
  151. .dropdown {
  152. position: relative;
  153. }
  154. .force-recompile {
  155. margin-top: 10px;
  156. text-align: right;
  157. }
  158. }
  159. .synctex-controls {
  160. top: 68px;
  161. padding: 0px 2px;
  162. .btn-xs {
  163. line-height: 1.3;
  164. padding: 0 2px 0;
  165. }
  166. }
  167. .editor-dark {
  168. .pdf-logs {
  169. background-color: lighten(@editor-dark-background-color, 10%);
  170. }
  171. .pdfjs-viewer {
  172. background-color: lighten(@editor-dark-background-color, 10%);
  173. }
  174. .pdf .toolbar {
  175. .toolbar-right a {
  176. i {
  177. border-color: @gray;
  178. }
  179. &:hover {
  180. i {
  181. border-color: @gray-light;
  182. }
  183. }
  184. }
  185. }
  186. }
  187. .keyboard-tooltip {
  188. .tooltip-inner {
  189. max-width: none;
  190. }
  191. }
  192. .keyboard-shortcut {
  193. white-space: nowrap;
  194. }
  195. @keyframes expand-feedback-area {
  196. from {
  197. max-height: 0;
  198. }
  199. to {
  200. max-height: 500px;
  201. }
  202. }
  203. .card-hint:extend(.card-thin) {
  204. margin-top: 10px;
  205. padding-bottom: 7px;
  206. cursor: default;
  207. &-icon-container {
  208. background: currentColor;
  209. width: 2.5rem;
  210. height: 2.5rem;
  211. font-size: 1.5rem;
  212. text-align: center;
  213. border-radius: 50%;
  214. float: left;
  215. margin-right: 10px;
  216. .fa {
  217. color: #FFF;
  218. }
  219. .alert-danger & {
  220. color: @alert-danger-border;
  221. }
  222. .alert-warning & {
  223. color: @alert-warning-border;
  224. }
  225. .alert-info & {
  226. color: @alert-info-border;
  227. }
  228. }
  229. &-text,
  230. &-feedback-label {
  231. color: @gray-dark;
  232. font-size: 0.9rem;
  233. margin-bottom: 20px;
  234. }
  235. &-text {
  236. min-height: 35px;
  237. }
  238. &-feedback-label {
  239. font-size: inherit;
  240. margin-right: 0.5em;
  241. margin-bottom: 0;
  242. font-weight: normal;
  243. }
  244. &-ext-link,
  245. &-feedback {
  246. display: inline-block;
  247. font-size: 0.8rem;
  248. }
  249. &-actions a,
  250. &-text a {
  251. .alert-danger & {
  252. color: @alert-danger-text;
  253. }
  254. .alert-warning & {
  255. color: @alert-warning-text;
  256. }
  257. .alert-info & {
  258. color: @alert-info-text;
  259. }
  260. }
  261. &-feedback {
  262. color: @gray-dark;
  263. float: right;
  264. }
  265. &-extra-feedback {
  266. color: @gray-dark;
  267. font-size: 0.8rem;
  268. margin-top: 10px;
  269. padding-bottom: 5px;
  270. animation: 0.5s ease-out expand-feedback-area;
  271. overflow: hidden;
  272. &-label {
  273. margin: 5px 0 10px;
  274. padding-top: 5px;
  275. border-top: solid 1px @gray-lighter;
  276. }
  277. .radio {
  278. margin: 5px;
  279. }
  280. textarea {
  281. font-size: 0.8rem;
  282. margin-bottom: 10px;
  283. padding: 5px;
  284. }
  285. input[type="radio"] {
  286. margin-top: 2px;
  287. }
  288. }
  289. & + p {
  290. margin-top: 20px;
  291. }
  292. }
  293. .files-dropdown-container {
  294. .pull-right();
  295. position: relative;
  296. }
  297. .files-dropdown {
  298. display: inline-block;
  299. }
  300. .plv-text-layer {
  301. display: none;
  302. user-select: text;
  303. .pdf-page-container:hover &,
  304. .pdfjs-viewer-show-text & {
  305. display: block;
  306. }
  307. }