lectures.alex.balgavy.eu

Lecture notes from university.
git clone git://git.alex.balgavy.eu/lectures.alex.balgavy.eu.git
Log | Files | Refs | Submodules

_base.scss (2996B)

      1 @import "fonts";
      2 @mixin selection {
      3     ::-moz-selection { @content; }
      4     ::selection { @content; }
      5 }
      6 
      7 @mixin scrollbars($size, $foreground-color, $background-color: mix($foreground-color, white, 50%)) {
      8   ::-webkit-scrollbar {
      9       width:  $size;
     10       height: $size;
     11   }
     12 
     13   ::-webkit-scrollbar-thumb {
     14       background: $foreground-color;
     15   }
     16 
     17   ::-webkit-scrollbar-track {
     18       background: $background-color;
     19   }
     20 
     21   // For Internet Explorer
     22   body {
     23     scrollbar-face-color: $foreground-color;
     24     scrollbar-track-color: $background-color;
     25   }
     26 }
     27 
     28 body {
     29   padding: 3%;
     30   font: 14px/1.5 "Noto Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
     31   font-weight: 400;
     32 }
     33 div.wrapper {
     34   display: flex;
     35   justify-content: center;
     36   width: 80vw;
     37   margin: auto;
     38   flex-flow: column wrap;
     39   align-items: center;
     40 }
     41 
     42 header {
     43   -webkit-font-smoothing: subpixel-antialiased;
     44   max-width: 100%;
     45   align-self: flex-start;
     46   flex: 100%;
     47   margin: 0;
     48 }
     49 section {
     50   flex: 70%;
     51   max-width: 100%;
     52 
     53   h1 {
     54     font-size: 16pt;
     55   }
     56 }
     57 strong {
     58   font-weight: 700;
     59 }
     60 
     61 h1, h2, h3, h4, h5, h6 {
     62   margin: 0 0 1rem;
     63 }
     64 h1, h2, h3 {
     65   line-height: 1.2;
     66 }
     67 h1 {
     68   font-size: 20pt;
     69 }
     70 
     71 hr {
     72   border:0;
     73   height: 1px;
     74   margin:0 0 1rem;
     75 }
     76 
     77 a {
     78   text-decoration: none;
     79 }
     80 
     81 p, ul, ol {
     82   margin: 0 0 1rem;
     83 }
     84 
     85 
     86 code, pre {
     87   font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, Consolas, Liberation Mono, DejaVu Sans Mono, Courier New, monospace;
     88 }
     89 
     90 pre {
     91   padding: 0.7rem 0.8em;
     92   border-radius: 0.4rem;
     93   overflow-x: auto;
     94 }
     95 
     96 blockquote {
     97   margin:0;
     98   padding:0 0 0 1rem;
     99   font-style:italic;
    100 }
    101 
    102 img {
    103   max-width:100%;
    104 }
    105 
    106 small {
    107   font-size: 0.9rem;
    108 }
    109 
    110 table {
    111   text-align: left;
    112   border: 0.1px solid #333;
    113   border-collapse: collapse;
    114   empty-cells: hide;
    115   margin: 1em 0;
    116 
    117   td,th {
    118     border: 0.1px solid #333;
    119     border-collapse: collapse;
    120     padding: 0.5em;
    121   }
    122 
    123   &.invis {
    124     border: none;
    125     border-collapse: separate;
    126     border-spacing: 4em 0;
    127     th {
    128       border: none;
    129       text-align:center;
    130     }
    131     td {
    132       border: none;
    133     }
    134   }
    135 }
    136 
    137 @media only screen and (min-width: 600px) {
    138   div.wrapper {
    139     flex-flow: row wrap;
    140     align-items: flex-start;
    141   }
    142   header {
    143     flex: 25%;
    144     max-width: 25%;
    145     margin-right: 5%;
    146     align-self: flex-start;
    147   }
    148   section {
    149     max-width: 70%;
    150 
    151     h1 {
    152       font-size: 20pt;
    153     }
    154   }
    155 }
    156 
    157 @media only print {
    158   body {
    159     background: white;
    160     color: black;
    161     margin: 1in;
    162     font-size: 12px;
    163   }
    164   h1,h2,h3,h4,h5,h6 {
    165     page-break-after:avoid;
    166   }
    167   pre, code{
    168     page-break-inside: avoid;
    169   }
    170   body > * {
    171     color: black;
    172     background: white;
    173   }
    174   div.wrapper {
    175     display: block;
    176   }
    177   header, video {
    178     display: none;
    179   }
    180   section {
    181     position: absolute;
    182     top: 0;
    183     left: 0;
    184     width: 100%;
    185   }
    186   a {
    187     text-decoration: underline;
    188   }
    189 }
    190 details {
    191   border-width: 2px;
    192   border-style: solid;
    193   padding: 0.3rem;
    194   border-radius: 9px;
    195   margin-bottom: 1rem;
    196   summary {
    197     cursor: pointer;
    198   }
    199 }