|
| 1 | +/* fira-sans-regular - latin */ |
| 2 | +@font-face { |
| 3 | + font-family: 'Fira Sans'; |
| 4 | + font-style: normal; |
| 5 | + font-weight: 400; |
| 6 | + src: url('/pub/docs/manual-ocaml/fonts/fira-sans-v8-latin-regular.eot'); /* IE9 Compat Modes */ |
| 7 | + src: local('Fira Sans Regular'), local('FiraSans-Regular'), |
| 8 | + url('/pub/docs/manual-ocaml/fonts/fira-sans-v8-latin-regular.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */ |
| 9 | + url('/pub/docs/manual-ocaml/fonts/fira-sans-v8-latin-regular.woff2') format('woff2'), /* Super Modern Browsers */ |
| 10 | + url('/pub/docs/manual-ocaml/fonts/fira-sans-v8-latin-regular.woff') format('woff'), /* Modern Browsers */ |
| 11 | + url('/pub/docs/manual-ocaml/fonts/fira-sans-v8-latin-regular.ttf') format('truetype'), /* Safari, Android, iOS */ |
| 12 | + url('/pub/docs/manual-ocaml/fonts/fira-sans-v8-latin-regular.svg#FiraSans') format('svg'); /* Legacy iOS */ |
| 13 | +} |
| 14 | + |
| 15 | + |
| 16 | +a:visited {color : #416DFF; text-decoration : none; } |
| 17 | +a:link {color : #416DFF; text-decoration : none; } |
| 18 | +a:hover {color : Black; text-decoration : underline; } |
| 19 | +a:active {color : Black; text-decoration : underline; } |
| 20 | +.keyword { font-weight : bold ; color : Red } |
| 21 | +.keywordsign { color : #C04600 } |
| 22 | +.comment { color : Green } |
| 23 | +.constructor { color : Blue } |
| 24 | +.type { color : #5C6585 } |
| 25 | +.string { color : Maroon } |
| 26 | +.warning { color : Red ; font-weight : bold } |
| 27 | +.info { margin-left : 3em; margin-right : 3em } |
| 28 | +.code { color : #465F91 ; } |
| 29 | +h1 { font-size : 2rem ; text-align: center; } |
| 30 | + |
| 31 | +h2, h3, h4, h5, h6, div.h7, div.h8, div.h9 { |
| 32 | + font-size: 1.75rem; |
| 33 | + border: 1px solid #000; |
| 34 | + margin-top: 20px; |
| 35 | + margin-bottom: 2px; |
| 36 | + text-align: center; |
| 37 | + padding: 8px; |
| 38 | + font-family: "Fira Sans", sans-serif; |
| 39 | + font-weight: normal; |
| 40 | +} |
| 41 | +h1 { |
| 42 | + font-family: "Fira Sans", sans-serif; |
| 43 | + padding: 10px; |
| 44 | +} |
| 45 | + |
| 46 | +h2 { background-color: #90BDFF; } |
| 47 | +h3 { background-color: #90DDFF; } |
| 48 | +h4 { background-color: #90EDFF; } |
| 49 | +h5 { background-color: #90FDFF; } |
| 50 | +h6 { background-color: #90BDFF; } |
| 51 | +div.h7 { background-color: #90DDFF; } |
| 52 | +div.h8 { background-color: #F0FFFF; } |
| 53 | +div.h9 { background-color: #FFFFFF; } |
| 54 | + |
| 55 | +.typetable { border-style : hidden } |
| 56 | +.indextable { border-style : hidden } |
| 57 | +.paramstable { border-style : hidden ; padding: 5pt 5pt} |
| 58 | +body { |
| 59 | + background-color : #f7f7f7; |
| 60 | + font-size: 1rem; |
| 61 | + max-width: 800px; |
| 62 | + width: 85%; |
| 63 | + margin: auto; |
| 64 | + padding-bottom: 30px; |
| 65 | +} |
| 66 | +td { |
| 67 | + font-size: 1rem; |
| 68 | +} |
| 69 | +.navbar { /* previous - up - next */ |
| 70 | + position: absolute; |
| 71 | + left: 10px; |
| 72 | + top: 10px; |
| 73 | +} |
| 74 | +tr { background-color : #f7f7f7 } |
| 75 | +td.typefieldcomment { background-color : #f7f7f7 } |
| 76 | +pre { margin-bottom: 4px; white-space: pre-wrap; } |
| 77 | +div.sig_block {margin-left: 2em} |
| 78 | +ul.info-attributes { list-style: none; margin: 0; padding: 0; } |
| 79 | +div.info > p:first-child{ margin-top:0; } |
| 80 | +div.info-desc > p:first-child { margin-top:0; margin-bottom:0; } |
0 commit comments