plint_extra

various extra tools around plint
git clone https://a3nm.net/git/plint_extra/
Log | Files | Refs | README

style.css (1405B)


      1 body {
      2   background-color: #ccc;
      3   font-family: Arial, Helvetica, sans-serif;
      4 }
      5 
      6 h1,.subtitle {
      7   font-family: monospace;
      8   text-align: center;
      9   margin-bottom: 0.5em;
     10   margin-right: 2.5em;
     11 }
     12 
     13 hr {
     14   margin-right: 5em;
     15 }
     16 
     17 .separator {
     18   margin-top: 2.5em;
     19   width: 50%;
     20   margin-right: 10em;
     21 }
     22 
     23 #top {
     24   margin-top: 0;
     25   margin-bottom: 3em;
     26 }
     27 
     28 #container {
     29   border: 1px solid #333;
     30   background-color: white;
     31   margin: auto;
     32   padding-top: 1em;
     33   padding-bottom: 1em;
     34   padding-left: 5em;
     35 }
     36 
     37 .stanza {
     38   margin-bottom: 1.25em;
     39   margin-top: 1.25em;
     40 }
     41 
     42 #footer, .dedication {
     43   text-align: right;
     44 }
     45 
     46 .dedication {
     47   font-style: italic;
     48   margin-bottom: 1.8em;
     49   margin-right: 4em;
     50 }
     51 
     52 #footer {
     53   margin-top: 3em;
     54   margin-right: 1em;
     55 }
     56 
     57 .ref {
     58   font-style: oblique;
     59 }
     60 
     61 #header {
     62   margin-bottom: 3em;
     63 }
     64 
     65 h2 {
     66   font-size: 150%;
     67   margin-bottom: 0.2em;
     68   margin-top: 1.5em;
     69   letter-spacing: 1px;
     70   font-variant: small-caps;
     71 }
     72 
     73 h3 {
     74   font-size: 100%;
     75   margin-top: 1.5em;
     76 }
     77 
     78 h2, h3 {
     79   font-family: Georgia, "Times New Roman", Times, serif;
     80 }
     81 
     82 .ref {
     83   text-align: left;
     84   margin-left: 0;
     85 }
     86 
     87 #container {
     88   max-width: 28em;
     89 }
     90 
     91 .line {
     92   margin-top: 0.45em;
     93   margin-bottom: 0.45em;
     94 }
     95 
     96 span.actor {
     97   font-variant: small-caps;
     98   margin-left: 2em;
     99   margin-bottom: 0.3em;
    100 }
    101 
    102 .speech {
    103   margin-top: 0.3em;
    104 }
    105 
    106 .subtitle {
    107   font-size: 70%;
    108 }
    109 
    110 .did {
    111   font-style: italic;
    112 }
    113 
    114 p.did {
    115   margin-left: 2em;
    116 }
    117