website

Website contents
git clone git://git.reagancfischer.dev/website.git
Log | Files | Refs

style_old.css (2056B)

      1 /* code blocks (Style from jmeiners.com/lc3-vm, CC BY-NC-SA 4.0, used with attribution) */
      2 code,
      3 .block-header {
      4     font-size: 11pt;
      5     font-family: 'Fira Mono', Menlo, Monaco, Consolas, Liberation Mono, Courier New, monospace;
      6 }
      7 
      8 .block-header,
      9 .block-header+pre.prettyprint {
     10     background-color: #cecece;
     11     border: 2px solid #fffdef;
     12     box-sizing: border-box;
     13 }
     14 
     15 .block-header {
     16     display: inline-block;
     17 
     18     /* allows the header to overlap the code block to hide part of the top border */
     19     position: relative;
     20     z-index: 6;
     21 
     22     border-top-left-radius: 0.6rem;
     23     border-top-right-radius: 0.6rem;
     24     border-bottom-width: 0;
     25 
     26     padding: 0.4rem 0.6rem;
     27 }
     28 
     29 .block-title {
     30     font-weight: normal;
     31 }
     32 
     33 .block-title a {
     34     /* this causes navigating to a block link to scroll you just a few pixels above the block header */
     35     margin-top: -1rem;
     36     padding-top: 1rem;
     37 }
     38 
     39 .block-title,
     40 .block-header a:link,
     41 .block-header a:visited {
     42     color: #262521;
     43 }
     44 
     45 .block-header a:hover,
     46 .block-header a:active {
     47     color: #112d75;
     48 }
     49 
     50 .code-block pre.prettyprint {
     51     padding: 0.6rem;
     52     white-space: pre-wrap;
     53     border-radius: 0.6rem;
     54 }
     55 
     56 .code-block .block-header+pre.prettyprint {
     57     /* overlap to the top 1px of the code block with the header so that the top border is partially obscured */
     58     position: relative;
     59     z-index: 5;
     60     margin-top: -1px;
     61 
     62     border-top-left-radius: 0;
     63 }
     64 
     65 
     66 .block-usages {
     67     margin-top: -1rem;
     68 }
     69 
     70 .block-usages small {
     71     display: inline-block;
     72     margin: 0.4rem 0.6rem;
     73     font-size: 11pt;
     74     color: #363535;
     75 }
     76 
     77 .block-usages a,
     78 .block-usages span {
     79     padding: 0 0.5rem;
     80     margin-left: 0.1rem;
     81 }
     82 
     83 .block-usages a {
     84     background-color: #f9f8f4;
     85     border: 1px solid #c7c6bf;
     86     box-sizing: border-box;
     87 
     88     color: #57554a;
     89     border-radius: 0.3rem;
     90 }
     91 
     92 .block-usages a+*,
     93 .block-usages span+* {
     94     margin-left: 0.2rem;
     95 }
     96 
     97 .block-usages a:hover,
     98 .block-usages a:active {
     99     text-decoration: none;
    100     background-color: #f9f9f7;
    101     color: #a6a28d;
    102 }
    103 
    104 h1+p,
    105 h1+p+p {
    106     text-align: center;
    107 }