Home Esplora Aiuto
Accedi
maximed
/
guile-hurd
forkato da guile-hurd/guile-hurd
Segui 1
Vota 0
Forka 0
File
Ramo (Branch): scheme-guile
Rami (Branch) Tag
guile-hurd
/
cffi
/
doc
/
style.css

style.css 2.6 KB
Permalink Cronologia Originale

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849 
  1. body {font-family: Georgia, serif;
    2. 

  2.       line-height: 1.3;
    3. 

  3.       padding-left: 5em; padding-right: 1em;
    4. 

  4.       padding-bottom: 1em; max-width: 60em;}
    5. 

  5. table {border-collapse: collapse}
    6. 

  6. span.roman { font-family: century schoolbook, serif; font-weight: normal; }
    7. 

  7. h1, h2, h3, h4, h5, h6 {font-family:  Helvetica, sans-serif}
    8. 

  8. h4 { margin-top: 2.5em; }
    9. 

  9. dfn {font-family: inherit; font-variant: italic; font-weight: bolder }
    10. 

  10. kbd {font-family: monospace; text-decoration: underline}
    11. 

  11. /*var {font-family: Helvetica, sans-serif; font-variant: slanted}*/
    12. 

  12. var {font-variant: slanted;}
    13. 

  13. td  {padding-right: 1em; padding-left: 1em}
    14. 

  14. sub {font-size: smaller}
    15. 

  15. .node {padding: 0; margin: 0}
    16. 

  16. 

  17. pre.lisp { font-family: monospace;
    18. 

  18.            background-color: #F4F4F4; border: 1px solid #AAA;
    19. 

  19.            padding-top: 0.5em; padding-bottom: 0.5em; }
    20. 

  20. 

  21. /* coloring */
    22. 

  22. 

  23. .lisp-bg { background-color: #F4F4F4 ; color: black; }
    24. 

  24. .lisp-bg:hover { background-color: #F4F4F4 ; color: black; }
    25. 

  25. 

  26. .symbol { font-weight: bold; color: #770055; background-color : transparent; border: 0px; margin: 0px;}
    27. 

  27. a.symbol:link { font-weight: bold; color : #229955; background-color : transparent; text-decoration: none; border: 0px; margin: 0px; }
    28. 

  28. a.symbol:active { font-weight: bold; color : #229955; background-color : transparent; text-decoration: none; border: 0px; margin: 0px; }
    29. 

  29. a.symbol:visited { font-weight: bold; color : #229955; background-color : transparent; text-decoration: none; border: 0px; margin: 0px; }
    30. 

  30. a.symbol:hover { font-weight: bold; color : #229955; background-color : transparent; text-decoration: none; border: 0px; margin: 0px; }
    31. 

  31. .special { font-weight: bold; color: #FF5000; background-color: inherit; }
    32. 

  32. .keyword { font-weight: bold; color: #770000; background-color: inherit; }
    33. 

  33. .comment { font-weight: normal; color: #007777; background-color: inherit; }
    34. 

  34. .string  { font-weight: bold; color: #777777; background-color: inherit; }
    35. 

  35. .character   { font-weight: bold; color: #0055AA; background-color: inherit; }
    36. 

  36. .syntaxerror { font-weight: bold; color: #FF0000; background-color: inherit; }
    37. 

  37. span.paren1 { font-weight: bold; color: #777777; }
    38. 

  38. span.paren1:hover { color: #777777; background-color: #BAFFFF; }
    39. 

  39. span.paren2 { color: #777777; }
    40. 

  40. span.paren2:hover { color: #777777; background-color: #FFCACA; }
    41. 

  41. span.paren3 { color: #777777; }
    42. 

  42. span.paren3:hover { color: #777777; background-color: #FFFFBA; }
    43. 

  43. span.paren4 { color: #777777; }
    44. 

  44. span.paren4:hover { color: #777777; background-color: #CACAFF; }
    45. 

  45. span.paren5 { color: #777777; }
    46. 

  46. span.paren5:hover { color: #777777; background-color: #CAFFCA; }
    47. 

  47. span.paren6 { color: #777777; }
    48. 

  48. span.paren6:hover { color: #777777; background-color: #FFBAFF; }
    49. 

  49.