docs.css 6.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365
  1. #top-header {
  2. margin-top: 26px;
  3. margin-bottom: 10px;
  4. }
  5. #top-header .header2 {
  6. font-weight: 400;
  7. }
  8. #usernav > ul {
  9. margin-top: 10px;
  10. z-index: 99999;
  11. }
  12. .menu-caption {
  13. padding-bottom: 10px;
  14. }
  15. #toc_table {
  16. margin-top: 10px;
  17. }
  18. #leftnav {
  19. height: 100%;
  20. overflow: hidden;
  21. }
  22. #leftnav .nav ul {
  23. line-height: 1;
  24. margin: 10px 10px 0px 16px;
  25. padding: 0;
  26. list-style: none;
  27. }
  28. #leftnav .nav li ul a,
  29. #leftnav .nav li ul a:hover {
  30. margin: 0 !important;
  31. padding: 0 !important;
  32. font-size: 13px;
  33. font-weight: 400;
  34. color: #394d54;
  35. }
  36. #leftnav .nav li ul a:hover {
  37. color: #24b8eb;
  38. }
  39. #leftnav .nav.nav-tabs li a,
  40. #leftnav .nav.nav-tabs li li {
  41. line-height: 1.1 !important;
  42. }
  43. #leftnav li {
  44. margin-top: 20px;
  45. // text-indent: -16px;
  46. padding-left: 10px;
  47. padding-right: 10px;
  48. }
  49. #leftnav .nav-tabs.nav ul li {
  50. margin-top: 5px;
  51. }
  52. .content-body {
  53. padding: 0px 0px 0px 20px;
  54. }
  55. ol {
  56. padding-left: 22px;
  57. }
  58. ol li {
  59. margin: 8px;
  60. }
  61. pre {
  62. font-size: 12px;
  63. line-height: 1.5;
  64. }
  65. /* Main Navigation */
  66. #nav_menu > #docsnav {
  67. max-width: 940px;
  68. width: 940px;
  69. margin: 0 auto;
  70. }
  71. #nav_menu > #docsnav > #nav_search {
  72. margin-top: 10px;
  73. }
  74. .search_input:focus {
  75. background: #fff;
  76. outline: none;
  77. }
  78. #nav_menu > #docsnav > #main-nav {
  79. height: 50px;
  80. margin: 0px;
  81. padding: 0em;
  82. }
  83. #nav_menu > #docsnav > #main-nav > li > a {
  84. color: #253237;
  85. }
  86. #nav_menu > #docsnav > #main-nav > li.dd_on_hover {
  87. background: #d3f1fb;
  88. color: #253237;
  89. }
  90. #nav_menu > #docsnav > #main-nav > li > span > b {
  91. border-top-color: #b1d5df !important;
  92. }
  93. #nav_menu > #docsnav > #main-nav > li.dd_on_hover > span > b {
  94. border-top-color: #71afc0 !important;
  95. }
  96. #nav_menu > #docsnav > #main-nav > li form {
  97. margin-top: -12px;
  98. }
  99. #nav_menu > #docsnav > #main-nav > li.home > a {
  100. color: #fff;
  101. }
  102. #nav_menu > #docsnav > #main-nav > li.home:hover {
  103. background: #b1d5df;
  104. }
  105. #nav_menu > #docsnav > #main-nav > li.home:hover > a {
  106. color: #5992a3;
  107. }
  108. #nav_menu {
  109. background: #E8E8E8;
  110. position: relative;
  111. width: 100%;
  112. height: 54px;
  113. z-index: 1000;
  114. top: auto;
  115. padding: 0px 15px;
  116. -webkit-box-sizing: border-box;
  117. -moz-box-sizing: border-box;
  118. box-sizing: border-box;
  119. }
  120. #nav_menu #docsnav #main-nav > li {
  121. font-size: 15px;
  122. font-weight: 400;
  123. color: #253237;
  124. line-height: 2em;
  125. display: block;
  126. padding: 0 12px 0 12px;
  127. line-height: 54px;
  128. height: 54px;
  129. }
  130. #nav_menu #docsnav #main-nav > li.active {
  131. background: #ade5f9; /* url("../img/nav/caret-down-subnav-icon.svg") no-repeat 87% 50%;*/
  132. }
  133. #nav_menu #docsnav #main-nav > li.dd_on_hover {
  134. /*background: #ade5f9 url("../img/nav/caret-down-subnav-icon.svg") no-repeat 87% 50%;*/
  135. }
  136. #nav_search {
  137. padding-top: 2px;
  138. }
  139. #nav_search input[type="text"] {
  140. width: 220px;
  141. height: 30px;
  142. margin: 0;
  143. background: #ffffff url("../img/nav/search-icon.svg") no-repeat 95% 50%;
  144. }
  145. /* Navigation Submenu */
  146. .dd_menu {
  147. cursor: pointer;
  148. }
  149. .dd_menu .dd_submenu {
  150. display: none;
  151. position: absolute;
  152. top: 54px;
  153. list-style: none;
  154. margin: 0px;
  155. margin-left: -12px;
  156. overflow: hidden;
  157. overflow-y: auto;
  158. background: #fff;
  159. border: 1px solid #ccc;
  160. border-top: none;
  161. border-bottom: 3px solid #ccc;
  162. -webkit-border-radius: 0px 0px 4px 4px;
  163. -moz-border-radius: 0px 0px 4px 4px;
  164. border-radius: 0px 0px 4px 4px;
  165. padding: 0px;
  166. }
  167. .dd_menu.dd_on_hover .dd_submenu {
  168. display: block;
  169. }
  170. .dd_menu.dd_on_hover .dd_submenu > li:first-child {
  171. border: none;
  172. }
  173. .dd_menu.dd_on_hover .dd_submenu > li {
  174. border-top: 1px solid #ddd;
  175. }
  176. .dd_menu.dd_on_hover .dd_submenu > li.active > a {
  177. border-color: #b1d5df;
  178. color: #FF8100 !important;
  179. }
  180. .dd_menu.dd_on_hover .dd_submenu > li > a {
  181. padding: 0.6em 0.8em 0.4em 0.8em;
  182. width: 100%;
  183. display: block;
  184. }
  185. .dd_menu li a {
  186. font-size: 15px;
  187. font-weight: 400;
  188. color: #005976;
  189. }
  190. .dd_menu li a:hover {
  191. text-decoration: none;
  192. font-size: 15px;
  193. font-weight: 400;
  194. color: #24b8eb;
  195. }
  196. /* Search Page */
  197. #tipue_search_input {
  198. height: 30px;
  199. margin: 0;
  200. background: #ffffff url("../img/nav/search-icon.svg") no-repeat 95% 50%;
  201. }
  202. .alert-red-block {
  203. margin: 10px 0px;
  204. background: #edd3d7;
  205. border: none;
  206. margin-bottom: 20px;
  207. }
  208. .content-body ul {
  209. padding: 10px 0px 10px 20px;
  210. list-style-position: inherit;
  211. list-style: circle;
  212. }
  213. .content-body ul li {
  214. padding-bottom: 5px;
  215. }
  216. .content-body ul ul {
  217. padding: 10px 0px 10px 40px;
  218. }
  219. .content-body h1 {
  220. display: block !important;
  221. font-size: 27px;
  222. font-weight: 400;
  223. color: #394d54;
  224. line-height: 1.33;
  225. margin-bottom: 8px;
  226. margin-top: 6px;
  227. }
  228. .content-body h2 {
  229. font-size: 21px;
  230. font-weight: 400;
  231. color: #394d54;
  232. line-height: 1.7;
  233. margin-bottom: 4px;
  234. margin-top: 10px;
  235. }
  236. .content-body h3 {
  237. font-size: 18px;
  238. font-weight: 400;
  239. color: #394d54;
  240. line-height: 1.7;
  241. margin-bottom: 4px;
  242. margin-top: 10px;
  243. }
  244. .content-body h4 {
  245. font-size: 16px;
  246. font-weight: 400;
  247. color: #394d54;
  248. line-height: 1.7;
  249. margin-bottom: 4px;
  250. margin-top: 10px;
  251. }
  252. .content-body p {
  253. font-size: 14px;
  254. font-weight: 400;
  255. color: #394d54;
  256. line-height: 1.7;
  257. }
  258. .content-body p code {
  259. background-color: #FCFCFC;
  260. border-radius: 4px;
  261. -webkit-border-radius: 4px;
  262. -moz-border-radius: 4px;
  263. border: 1px solid #dbdde0;
  264. color: #394d54;
  265. padding-left: 6px;
  266. padding-right: 6px;
  267. margin-bottom: 2px;
  268. }
  269. .content-body blockquote {
  270. margin: 0px !important;
  271. margin-bottom: 20px !important;
  272. margin-top: 20px !important;
  273. font-size: 14px;
  274. font-weight: 400;
  275. color: #394d54;
  276. line-height: 1.7;
  277. font-style: italic;
  278. border: none;
  279. border-left: 4px solid #ade5f9;
  280. padding: 10px;
  281. padding-left: 15px;
  282. }
  283. .content-body ul {
  284. margin-top: 0px !important;
  285. }
  286. .content-body blockquote a {
  287. color: #24b8eb;
  288. }
  289. .content-body blockquote a:hover {
  290. color: #008bb8;
  291. }
  292. .content-body ul {
  293. margin-top: 0px !important;
  294. }
  295. .content-body pre {
  296. font-family: Monaco, Consolas, "Lucida Console", monospace;
  297. background-color: #FCFCFC;
  298. margin-bottom: 20px;
  299. border-radius: 4px;
  300. -webkit-border-radius: 4px;
  301. -moz-border-radius: 4px;
  302. overflow-x: auto;
  303. }
  304. .content-body pre code {
  305. overflow-wrap: normal;
  306. white-space: pre;
  307. }
  308. .content-body strong {
  309. font-weight: bold;
  310. }
  311. /* Logged-in/out header */
  312. .topmostnav_loggedin {
  313. display: none;
  314. }
  315. #topmostnav.public .brand {
  316. padding-left: 0px !important;
  317. }
  318. .navbar #usernav .nav li {
  319. padding-top: 0px !important;
  320. }
  321. table.table tr td img {
  322. width:100%;
  323. }
  324. #versionnav ul {
  325. list-style: none outside none;
  326. }
  327. #versionnav ul ul {
  328. padding: 0;
  329. }
  330. /* over-ride the prettyPrint colouring */
  331. .str, .atv { color: #48484C; }