github.com/lmorg/murex@v0.0.0-20240217211045-e081c89cd4ef/gen/website/assets/style.css (about)

     1  @charset "UTF-8";
     2  
     3  body {
     4    font-family: 'Lato', sans-serif;
     5    color: #000000;
     6    background-color: #e0e0da;
     7    line-height: 150%;
     8    font-size: 15px;
     9    letter-spacing: 0.04em;
    10  }
    11  
    12  p {
    13    font-family: 'Lato', sans-serif;
    14    color: #000000;
    15    margin-right: 40px;
    16    padding-left: 10px;
    17    margin-left: 10px;
    18  }
    19  
    20  h1, h2, h3, h4 {
    21    font-family: 'Jura', sans-serif;
    22    font-weight: 700;
    23    color: #000075;
    24  }
    25  
    26  h1 {
    27    font-family: 'Jura', sans-serif;
    28    font-size: 26px;
    29    text-shadow: none;
    30    color: #707070;
    31    padding-left: 0px;
    32    margin-left: 10px
    33  }
    34  
    35  h2 {
    36    font-size: 20px;
    37    border-bottom-width: 5px;
    38    border-bottom-style: solid;
    39    border-bottom-color: #000075;
    40    margin-right: 20px;
    41    padding-bottom: 5px;
    42    padding-left: 10px;
    43  }
    44  
    45  h3 {
    46    font-size: 16px;
    47    border-bottom-width: 2px;
    48    border-bottom-style: solid;
    49    border-bottom-color: #000075;
    50    margin-left: 0px;
    51    margin-right: 20px;
    52    padding-bottom: 5px;
    53    padding-left: 10px;
    54  }
    55  
    56  h4 {
    57    font-size: 16px;
    58    text-decoration: underline;
    59    text-underline-offset: 7px;
    60    padding-left: 0px;
    61    margin-left: 0px;
    62  }
    63  
    64  strong {
    65    text-shadow: #a0a0a0 0em 0em 0.1em;
    66  }
    67  
    68  a:link, a:visited, a:active {
    69    color: #800000;
    70    text-decoration: none;
    71  }
    72  
    73  a:hover {
    74    color: #ff2020;
    75    text-decoration: underline;
    76  }
    77  
    78  li {
    79    padding-bottom: 10px;
    80    padding-right: 60px;
    81  }
    82  
    83  blockquote {
    84    border-width: 1px;
    85    border-style: solid;
    86    border-color: #4d69e6;
    87    padding-left: 0px;
    88    color: #001369;
    89    background: #d6dee9;
    90    border-radius: 5px;
    91    border-right-width: 10px;
    92    margin-left: 20px;
    93    margin-right: 10px
    94  }
    95  
    96  code {
    97    font-family: 'Source Code Pro', monospace;
    98    color: #2020D0;
    99    border-radius: 5px;
   100    line-height: 130%;
   101    padding-left: 3px;
   102    padding-right: 3px;
   103    font-weight: bold;
   104    font-size: 14px;
   105  }
   106  
   107  pre code {
   108    font-size: 16px;
   109    font-weight: normal;
   110    color: #063928;
   111    padding: 0px;
   112  }
   113  
   114  a:link > code, a:visited > code, a:active > code {
   115    background: #e0e0da;
   116    font-weight: bold;
   117    color: #800000;
   118    font-size: 14px;
   119    padding: 0px;
   120  }
   121  
   122  a:hover > code {
   123    color: #ff2020;
   124  }
   125  
   126  pre {
   127    background: #f0f0ff;
   128    border-radius: 5px;
   129    line-height: 130%;
   130    border-width: 1px;
   131    border-style: solid;
   132    border-color: #0f600f;
   133    border-right-width: 10px;
   134    margin-left: 20px;
   135    margin-right: 10px;
   136    padding-left: 15px;
   137    padding-top: 10px;
   138    padding-bottom: 10px;
   139    max-height: 300px;
   140    overflow: auto;
   141    text-shadow: none;
   142  }
   143  
   144  h1 code { font-size: 26px; }
   145  h2 code { font-size: 20px; }
   146  h3 code { font-size: 16px; }
   147  h4 code { font-size: 16px; }
   148  
   149  img {
   150    max-width: 100%;
   151    max-height: 400px;
   152    border-radius:5px;
   153    border-width: 1px;
   154    border-color: #a0a0a0;
   155    border-style: solid;
   156    margin-left: auto;
   157    margin-right: auto;
   158    display: block;
   159    padding: 1px;
   160  }
   161  
   162  a img {
   163    border-color: #800000;
   164    border-width: 2px;
   165  }
   166  
   167  a img:hover {
   168    border-color: #ff2020;
   169    border-width: 2px;
   170  }
   171  
   172  .no-border {
   173    border-width: 0px;
   174    width: auto;
   175    margin-left: 0px;
   176    margin-right: 0px;
   177    display: inherit;
   178  }
   179  
   180  .no-border:hover {
   181    border-width: 0px;
   182  }
   183  
   184  .figure, figure {
   185    display: block;
   186    margin: auto;
   187    text-align: center;
   188  }
   189  
   190  .caption, figcaption {
   191    color: #404040;
   192    font-size: 10px;
   193    text-align: center;
   194    margin-top: 0px;
   195  }
   196  
   197  .readme {
   198    text-align: left;
   199    margin-left: 0px;
   200  }
   201  
   202  #side-bar {
   203    position: fixed;
   204    width: 200px;
   205    top: 0px;
   206    left: 0px;
   207    height: 100%;
   208    background: #d0d1d3;
   209    z-index: 999;
   210  }
   211  
   212  #document {
   213    position: relative;
   214    padding-left: 200px;
   215    width: auto;
   216    max-width: 1200px;
   217    margin-left: auto;
   218    margin-right: auto;
   219    color: #000000;
   220  }
   221  
   222  .side-bar-title {
   223    text-align: center;
   224    color: #000000;
   225  }
   226  
   227  .side-bar {
   228    color: #000000;
   229    padding-left: 10px;
   230  }
   231  
   232  a.side-bar:link, a.side-bar:visited {
   233    color: #800000;
   234    text-shadow: none;
   235  }
   236  
   237  a.side-bar:active, a.side-bar:hover {
   238    color: #ff2020; 
   239  }
   240  
   241  #build-spec {
   242    margin-top: 50px;
   243    margin-right: 20px;
   244    margin-bottom: 20px;
   245    border-width: 1px;
   246    border-color: #404040;
   247    border-style: solid;
   248    border-right-width: 10px;
   249    background: #e0e0e0;
   250    padding: 5px;
   251    border-radius: 5px;
   252    text-align: center;
   253    font-size: 12px;
   254    line-height: 150%;
   255    letter-spacing: 0px;
   256  }
   257  
   258  #commit-hash-short {
   259    display: none;
   260  }
   261  
   262  #burger label {
   263    display: none;
   264  }
   265  
   266  hr {
   267    border-width: 1px;
   268    border-style: solid;
   269    color: #000075;
   270    margin-right: 40px;
   271  }
   272  
   273  th {
   274    background-color: #f0f0f0;
   275  } 
   276  
   277  td {
   278    border-block-end-style: dotted;
   279    border-block-color: #a0a0a0;
   280    border-block-width: 1px;
   281    padding: 10px;
   282  }
   283  
   284  table {
   285    padding-right: 40px;
   286  }
   287  
   288  td > code {
   289    background: #e0e0da;
   290    font-weight: bold;
   291    color: #2020D0;
   292    font-size: 14px;
   293  }
   294  
   295  #toc {
   296    column-count: 3;
   297    column-fill: balance;
   298    margin-left: 40px;
   299    margin-right: 0px;
   300    column-gap: 0px;
   301  }
   302  
   303  #toc ul {
   304    margin: 0px;
   305    padding: 0px 0px 0px 20px;
   306  }
   307  
   308  #toc li {
   309    margin: 0px;
   310    padding: 0px;
   311  }
   312  
   313  .ddg {
   314    overflow: hidden;
   315    margin: 5px;
   316    padding: 0px;
   317    width: 160px;
   318    height: 40px;
   319    border-style: solid;
   320    border-radius: 5px;
   321    border-color: #800000;
   322    border-width: 2px
   323  }
   324  
   325  .ddg:hover, .ddg:focus {
   326    border-color: #ff2020;
   327  }
   328  
   329  @media screen and (max-width: 1100px) {
   330      #toc { column-count: 2; }
   331  }
   332  
   333  @media screen and (max-width: 678px) {
   334    body { background-color: #e0e0da; margin: 0px; background-image: linear-gradient(to bottom, #800000, #e0e0da); background-repeat: repeat-x; }
   335    p { margin: 0px; margin-bottom: 10px; }
   336    #document { padding: 0px; padding-left: 10px; padding-right: 10px; margin-right: 0px; top: 30px; left: 0px; right: 0px; bottom: 0px; background-color: #e0e0da; height: auto; max-width: 100%; position: absolute; overflow-y: auto; }
   337    img { max-width: 100%; }
   338    a img {  border-color: #800000; }
   339    #side-bar { display: none; position: relative; height: 0px; padding: 10px; width: auto; background-color: #d0d1d3; border-width: 2px; border-color: #800000; border-style: solid; }
   340    .side-bar-title { display: none; }
   341    #burger label { display: block; }
   342    blockquote { margin-inline-start: 0px; margin-inline-end: 0px; margin-right: 0px; padding-top: 10px; }
   343    pre { margin-inline-start: 0px; margin-inline-end: 0px; margin-left: 0px; margin-right: 0px; }
   344    #build-spec { margin-inline-start: 0px; margin-inline-end: 0px; margin-right: 0px; }
   345    #commit-hash-short { display: inline; }
   346    #commit-hash-long { display: none; }
   347    h2, h3, h4 { margin-left: 0px; margin-right: 0px; }
   348    hr { margin-right: 0px; }
   349    li { padding-right: 0px; }
   350    #toc { column-count: 1; }
   351    .ddg { margin: 0px 0px 0px 10px; width:308px; border-width: 0px; }
   352  }
   353  
   354  #burger {
   355    color: #000000;
   356  }
   357  
   358  #burger > input {
   359    display: none;
   360  }
   361  
   362  #burger > label {
   363    cursor: pointer;
   364    -webkit-touch-callout: none;
   365    -webkit-user-select: none;
   366    -khtml-user-select: none;
   367    -moz-user-select: none;
   368    -ms-user-select: none;
   369    user-select: none;
   370    font-family: 'Jura', sans-serif;
   371    font-weight: bold;
   372    padding-left: 5px;
   373    padding-right: 5px;
   374  }
   375  
   376  #toggle-mobile-menu:checked + #side-bar {
   377    display: block;
   378    height: 100%;
   379  }
   380  
   381  #burger-text {
   382    display: flex;
   383    justify-content: space-between;
   384  }