cachepc-qemu

Fork of AMDESE/qemu with changes for cachepc side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-qemu
Log | Files | Refs | Submodules | LICENSE | sfeed.txt

theme_overrides.css (3657B)

      1/* -*- coding: utf-8; mode: css -*-
      2 *
      3 * Sphinx HTML theme customization: read the doc
      4 * Based on Linux Documentation/sphinx-static/theme_overrides.css
      5 */
      6
      7/* Improve contrast and increase size for easier reading. */
      8
      9body {
     10    font-family: serif;
     11    color: black;
     12    font-size: 100%;
     13}
     14
     15h1, h2, .rst-content .toctree-wrapper p.caption, h3, h4, h5, h6, legend {
     16    font-family: sans-serif;
     17}
     18
     19.rst-content dl:not(.docutils) dt {
     20    border-top: none;
     21    border-left: solid 3px #ccc;
     22    background-color: #f0f0f0;
     23    color: black;
     24}
     25
     26.wy-nav-top {
     27    background: #802400;
     28}
     29
     30.wy-side-nav-search input[type="text"] {
     31    border-color: #f60;
     32}
     33
     34.wy-menu-vertical p.caption {
     35    color: white;
     36}
     37
     38.wy-menu-vertical li.current a {
     39    color: #505050;
     40}
     41
     42.wy-menu-vertical li.on a, .wy-menu-vertical li.current > a {
     43    color: #303030;
     44}
     45
     46.fa-gitlab {
     47      box-shadow: 0 4px 8px 0 rgba(0,0,0,0.2), 0 3px 10px 0 rgba(0,0,0,0.19);
     48      border-radius: 5px;
     49}
     50
     51div[class^="highlight"] pre {
     52    font-family: monospace;
     53    color: black;
     54    font-size: 100%;
     55}
     56
     57.wy-menu-vertical {
     58    font-family: sans-serif;
     59}
     60
     61.c {
     62    font-style: normal;
     63}
     64
     65p {
     66    font-size: 100%;
     67}
     68
     69/* Interim: Code-blocks with line nos - lines and line numbers don't line up.
     70 * see: https://github.com/rtfd/sphinx_rtd_theme/issues/419
     71 */
     72
     73div[class^="highlight"] pre {
     74    line-height: normal;
     75}
     76.rst-content .highlight > pre {
     77    line-height: normal;
     78}
     79
     80/* Keep fields from being strangely far apart due to inheirited table CSS. */
     81.rst-content table.field-list th.field-name {
     82    padding-top: 1px;
     83    padding-bottom: 1px;
     84}
     85.rst-content table.field-list td.field-body {
     86    padding-top: 1px;
     87    padding-bottom: 1px;
     88}
     89
     90@media screen {
     91
     92    /* content column
     93     *
     94     * RTD theme's default is 800px as max width for the content, but we have
     95     * tables with tons of columns, which need the full width of the view-port.
     96     */
     97
     98    .wy-nav-content{max-width: none; }
     99
    100    /* table:
    101     *
    102     *   - Sequences of whitespace should collapse into a single whitespace.
    103     *   - make the overflow auto (scrollbar if needed)
    104     *   - align caption "left" ("center" is unsuitable on vast tables)
    105     */
    106
    107    .wy-table-responsive table td { white-space: normal; }
    108    .wy-table-responsive { overflow: auto; }
    109    .rst-content table.docutils caption { text-align: left; font-size: 100%; }
    110
    111    /* captions:
    112     *
    113     *   - captions should have 100% (not 85%) font size
    114     *   - hide the permalink symbol as long as link is not hovered
    115     */
    116
    117    .toc-title {
    118        font-size: 150%;
    119        font-weight: bold;
    120    }
    121
    122    caption, .wy-table caption, .rst-content table.field-list caption {
    123        font-size: 100%;
    124    }
    125    caption a.headerlink { opacity: 0; }
    126    caption a.headerlink:hover { opacity: 1; }
    127
    128    /* Menu selection and keystrokes */
    129
    130    span.menuselection {
    131        color: blue;
    132        font-family: "Courier New", Courier, monospace
    133    }
    134
    135    code.kbd, code.kbd span {
    136        color: white;
    137        background-color: darkblue;
    138        font-weight: bold;
    139        font-family: "Courier New", Courier, monospace
    140    }
    141
    142    /* fix bottom margin of lists items */
    143
    144    .rst-content .section ul li:last-child, .rst-content .section ul li p:last-child {
    145          margin-bottom: 12px;
    146    }
    147
    148    /* inline literal: drop the borderbox, padding and red color */
    149
    150    code, .rst-content tt, .rst-content code {
    151        color: inherit;
    152        border: none;
    153        padding: unset;
    154        background: inherit;
    155        font-size: 85%;
    156    }
    157
    158    .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
    159        color: inherit;
    160    }
    161}