pkgdown.css 2.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164
  1. /* Sticker footer */
  2. body > .container {
  3. display: flex;
  4. padding-top: 60px;
  5. min-height: calc(100vh);
  6. flex-direction: column;
  7. }
  8. body > .container .row {
  9. flex: 1;
  10. }
  11. footer {
  12. margin-top: 45px;
  13. padding: 35px 0 36px;
  14. border-top: 1px solid #e5e5e5;
  15. color: #666;
  16. display: flex;
  17. }
  18. footer p {
  19. margin-bottom: 0;
  20. }
  21. footer div {
  22. flex: 1;
  23. }
  24. footer .pkgdown {
  25. text-align: right;
  26. }
  27. footer p {
  28. margin-bottom: 0;
  29. }
  30. img.icon {
  31. float: right;
  32. }
  33. img {
  34. max-width: 100%;
  35. }
  36. /* Section anchors ---------------------------------*/
  37. a.anchor {
  38. margin-left: -30px;
  39. display:inline-block;
  40. width: 30px;
  41. height: 30px;
  42. visibility: hidden;
  43. background-image: url(./link.svg);
  44. background-repeat: no-repeat;
  45. background-size: 20px 20px;
  46. background-position: center center;
  47. }
  48. .hasAnchor:hover a.anchor {
  49. visibility: visible;
  50. }
  51. @media (max-width: 767px) {
  52. .hasAnchor:hover a.anchor {
  53. visibility: hidden;
  54. }
  55. }
  56. /* Fixes for fixed navbar --------------------------*/
  57. .contents h1, .contents h2, .contents h3, .contents h4 {
  58. padding-top: 60px;
  59. margin-top: -60px;
  60. }
  61. /* Static header placement on mobile devices */
  62. @media (max-width: 767px) {
  63. .navbar-fixed-top {
  64. position: absolute;
  65. }
  66. .navbar {
  67. padding: 0;
  68. }
  69. }
  70. /* Sidebar --------------------------*/
  71. #sidebar {
  72. margin-top: 30px;
  73. }
  74. #sidebar h2 {
  75. font-size: 1.5em;
  76. margin-top: 1em;
  77. }
  78. #sidebar h2:first-child {
  79. margin-top: 0;
  80. }
  81. #sidebar .list-unstyled li {
  82. margin-bottom: 0.5em;
  83. }
  84. /* Reference index & topics ----------------------------------------------- */
  85. .ref-index th {font-weight: normal;}
  86. .ref-index h2 {font-size: 20px;}
  87. .ref-index td {vertical-align: top;}
  88. .ref-index .alias {width: 40%;}
  89. .ref-index .title {width: 60%;}
  90. .ref-index .alias {width: 40%;}
  91. .ref-index .title {width: 60%;}
  92. .ref-arguments th {text-align: right; padding-right: 10px;}
  93. .ref-arguments th, .ref-arguments td {vertical-align: top;}
  94. .ref-arguments .name {width: 20%;}
  95. .ref-arguments .desc {width: 80%;}
  96. /* Nice scrolling for wide elements --------------------------------------- */
  97. table {
  98. display: block;
  99. overflow: auto;
  100. }
  101. /* Syntax highlighting ---------------------------------------------------- */
  102. pre {
  103. word-wrap: normal;
  104. word-break: normal;
  105. border: 1px solid #eee;
  106. }
  107. pre, code {
  108. background-color: #f8f8f8;
  109. color: #333;
  110. }
  111. pre .img {
  112. margin: 5px 0;
  113. }
  114. pre .img img {
  115. background-color: #fff;
  116. display: block;
  117. height: auto;
  118. }
  119. code a, pre a {
  120. color: #375f84;
  121. }
  122. .fl {color: #1514b5;}
  123. .fu {color: #000000;} /* function */
  124. .ch,.st {color: #036a07;} /* string */
  125. .kw {color: #264D66;} /* keyword */
  126. .co {color: #888888;} /* comment */
  127. .message { color: black; font-weight: bolder;}
  128. .error { color: orange; font-weight: bolder;}
  129. .warning { color: #6A0366; font-weight: bolder;}