pdf.less 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340
  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. opacity: 0;
  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. opacity: 1;
  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. .force-recompile {
  154. margin-top: 10px;
  155. text-align: right;
  156. }
  157. }
  158. .synctex-controls {
  159. top: 68px;
  160. padding: 0px 2px;
  161. .btn-xs {
  162. line-height: 1.3;
  163. padding: 0 2px 0;
  164. }
  165. }
  166. .editor-dark {
  167. .pdf-logs {
  168. background-color: lighten(@editor-dark-background-color, 10%);
  169. }
  170. .pdfjs-viewer {
  171. background-color: lighten(@editor-dark-background-color, 10%);
  172. }
  173. .pdf .toolbar {
  174. .toolbar-right a {
  175. i {
  176. border-color: @gray;
  177. }
  178. &:hover {
  179. i {
  180. border-color: @gray-light;
  181. }
  182. }
  183. }
  184. }
  185. }
  186. .keyboard-tooltip {
  187. .tooltip-inner {
  188. max-width: none;
  189. }
  190. }
  191. .keyboard-shortcut {
  192. white-space: nowrap;
  193. }
  194. @keyframes expand-feedback-area {
  195. from {
  196. max-height: 0;
  197. }
  198. to {
  199. max-height: 500px;
  200. }
  201. }
  202. .card-hint:extend(.card-thin) {
  203. margin-top: 10px;
  204. padding-bottom: 7px;
  205. cursor: default;
  206. &-icon-container {
  207. background: currentColor;
  208. width: 2.5rem;
  209. height: 2.5rem;
  210. font-size: 1.5rem;
  211. text-align: center;
  212. border-radius: 50%;
  213. float: left;
  214. margin-right: 10px;
  215. .fa {
  216. color: #FFF;
  217. }
  218. .alert-danger & {
  219. color: @alert-danger-border;
  220. }
  221. .alert-warning & {
  222. color: @alert-warning-border;
  223. }
  224. .alert-info & {
  225. color: @alert-info-border;
  226. }
  227. }
  228. &-text,
  229. &-feedback-label {
  230. color: @gray-dark;
  231. font-size: 0.9rem;
  232. margin-bottom: 20px;
  233. }
  234. &-text {
  235. min-height: 35px;
  236. }
  237. &-feedback-label {
  238. font-size: inherit;
  239. margin-right: 0.5em;
  240. margin-bottom: 0;
  241. font-weight: normal;
  242. }
  243. &-ext-link,
  244. &-feedback {
  245. display: inline-block;
  246. font-size: 0.8rem;
  247. }
  248. &-actions a,
  249. &-text a {
  250. .alert-danger & {
  251. color: @alert-danger-text;
  252. }
  253. .alert-warning & {
  254. color: @alert-warning-text;
  255. }
  256. .alert-info & {
  257. color: @alert-info-text;
  258. }
  259. }
  260. &-feedback {
  261. color: @gray-dark;
  262. float: right;
  263. }
  264. &-extra-feedback {
  265. color: @gray-dark;
  266. font-size: 0.8rem;
  267. margin-top: 10px;
  268. padding-bottom: 5px;
  269. animation: 0.5s ease-out expand-feedback-area;
  270. overflow: hidden;
  271. &-label {
  272. margin: 5px 0 10px;
  273. padding-top: 5px;
  274. border-top: solid 1px @gray-lighter;
  275. }
  276. .radio {
  277. margin: 5px;
  278. }
  279. textarea {
  280. font-size: 0.8rem;
  281. margin-bottom: 10px;
  282. padding: 5px;
  283. }
  284. input[type="radio"] {
  285. margin-top: 2px;
  286. }
  287. }
  288. & + p {
  289. margin-top: 20px;
  290. }
  291. }
  292. .files-dropdown-container {
  293. .pull-right();
  294. position: relative;
  295. }
  296. .files-dropdown {
  297. display: inline-block;
  298. }