.wiki { .contents { ul { padding: 0; li { font-size: 14px; list-style: none; margin-bottom: 6px; } } h2 { font-size: 18px; } } .page-header { a { font-size: 0.8em; line-height: 1; } } .editsection { display: none; } .toctogglespan { display: none; } .toc { ul { list-style: none; .tocnumber::after { content: '.'; } } } table { th, td { padding: (@line-height-computed / 4) (@line-height-computed / 2); border-bottom: 1px solid @gray-lighter; } th { font-weight: 700; text-align: left; font-family: @font-family-serif; } margin-bottom: @line-height-computed / 2; } .table-no-borders { th, td { border: 0px; } } .example { max-width: 100%; .code { pre { background-color: @gray-lightest; border-radius: 6px; padding: (@line-height-computed / 2); white-space: pre-wrap; margin: 0; } } .output { text-align: center; padding-top: 10px; img { width: auto; height: auto; max-width: 100%; box-shadow: 0 1px 3px @gray-light; border-radius: 6px; } } } @media (min-width: 1360px) { .example { margin-right: -200px; } } @media (max-width: @screen-sm) { .contents { margin-top: @margin-lg; } } /**/ a.search-result { display: block; margin-top: @line-height-computed / 2; .search-result-content { margin-top: @line-height-computed / 4; white-space: pre-wrap; font-size: 0.8em; color: @gray-dark; em { font-weight: bold; } } &:hover, &:active, &:focus { text-decoration: none; .search-result-content { color: @gray-darker; } box-shadow: 0 2px 4px rgba(0, 0, 0, 0.35); } } /* Keep the below rules in sync with the wiki pages */ img { height: auto; max-width: 100%; } img.add-vertical-space { padding-bottom: 20px; padding-top: 20px; } th.no-wrap { white-space: nowrap; text-align: left; } /* LATEX and TEX artwork */ span.TEX { letter-spacing: -0.125em; padding-right: 0.5ex; } span.TEX span.E { position: relative; top: 0.5ex; padding-right: 0.1ex; } a span.TEX span.E { text-decoration: none; } span.LATEX span.A { position: relative; top: -0.5ex; left: -0.4em; font-size: 75%; } span.LATEX span.TEX { position: relative; left: -0.4em; margin-right: -0.5ex; } }