Home Explore Help
Sign In
n4u
/
n4u_sample
2
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 4.4-erl19
Branches Tags
n4u_sample
/
apps
/
n2o_sample
/
priv
/
static
/
synrc.css

synrc.css 2.9 KB
Permalink History Raw

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162 
  1. A { font-size:18pt; }
    2. 

  2. A:link { color: blue; }
    3. 

  3. A:visited { color: darkblue; }
    4. 

  4. A:hover { color: blue; }
    5. 

  5. SUP { font-size:10pt; }
    6. 

  6. html { zoom: 0.8; }
    7. 

  7. body { font-size:14pt; font-family: Lato, sans-serif; font-weight:300;}
    8. 

  8. TD { font-size:18pt; margin: 0 auto; padding-right: 20px; }
    9. 

  9. textarea { font-family: "Lucida Console", Monaco, monospace; padding: 10px; }
    10. 

  10. input { font-size:28pt; width: 50%; margin:15px 15px 5px 5px; }
    11. 

  11. button { font-size:20pt; margin-top:15px; padding: 10px; }
    12. 

  12. H1 { color: blue; font-weight: bold; font-size:26pt; margin-top:20px; margin-bottom:10px; margin-right:6px; }
    13. 

  13. H2 { color: darkblue; font-size:18pt; margin-top:20px; margin-bottom:10px; margin-right:6px; }
    14. 

  14. H3 { font-size:14pt; margin-top:20px; margin-bottom:10px; margin-right:6px; } 
    15. 

  15. P { font-size:18pt; margin-top: 0px; margin-bottom: 8px; }
    16. 

  16. #frame { width: 700px; height: 1000px; border: 1px solid black; }
    17. 

  17. .poem { font-size:14pt; margin-top: 0px; margin-bottom: 8px; white-space: pre;}
    18. 

  18. LI { font-size:12pt; }
    19. 

  19. pre { font-size:10pt; font-family: Calibri, Lucida Console; }
    20. 

  20. .small_infoblock { font-family: Calibri, Lucida Sans Unicode; font-size:8pt; }
    21. 

  21. .block  { background-color: #EEEEEE; padding-top:6;padding-bottom:10;padding-right:10;padding-left:10;}
    22. 

  22. .threecol { float:left; }
    23. 

  23. .left { float:left; }
    24. 

  24. .hints { width:59px;float:left;margin-right:6px; }
    25. 

  25. .main { width:843px;float:left;margin-right:26px; }
    26. 

  26. .contents { width:270px;float:left; }
    27. 

  27. .numbox { padding:10px 10px 10px 10px;background-color:black;color:white; }
    28. 

  28. .feed { margin-top:20px; }
    29. 

  29. 

  30. code, div.lstlisting { font-size:14pt; margin: 20px 20px 20px 0px;
    31. 

  31.                         padding: 0px 20px 20px 20px; font-family: monospace;
    32. 

  32.                         white-space: pre; background-color: white; display: inline-block;
    33. 

  33.                          border-left:60px solid #afafaf; }
    34. 

  34. code, div.lstlisting .keyword              { font-weight: bold }
    35. 

  35. code, div.lstlisting .string, code .regexp { color: green }
    36. 

  36. code, div.lstlisting .class { color: darkblue }
    37. 

  37. code, div.lstlisting .record { color: purple }
    38. 

  38. code, div.lstlisting .special { color: royalblue }
    39. 

  39. code, div.lstlisting .number               { color: pink }
    40. 

  40. code, div.lstlisting .comment              { color: grey }
    41. 

  41. 

  42. 

  43. /* seahawks
    44. 

  44.  #03263a - college navy
    45. 

  45.  #90918c - wolf gray
    46. 

  46.  #4ea701 - action green
    47. 

  47.  #ffffff - white
    48. 

  48.  #36578c - blue
    49. 

  49. */
    50. 

  50. .center{text-align: center;}
    51. 

  51. .main{ width:100%;z-index:2;background: #ffffff;}
    52. 

  52. .section{ border-bottom: 1px solid lightgray;}
    53. 

  53. .section-header{font-weight:300;}
    54. 

  54. .content{ margin-right:auto;margin-left:auto; max-width:1024px;padding: 1em 2em;}
    55. 

  55. .header{ height:2.2em; }
    56. 

  56. .profile-pic{padding:0 24px 0 24px;}
    57. 

  57. .profile-pic img{width:2.2em;height: 2.2em;border-radius:2em;}
    58. 

  58. .footer{text-align:center;color:90918c}
    59. 

  59. .menu{display: flex;}
    60. 

  60. .menu .pure-menu-heading{height:2em;line-height:2em;padding:0.1em 24px;display:flex;}
    61. 

  61. .pure-button-group .google-button{display:inline-block;}
    62. 

  62. .pure-button-group .avz-button{font-size:125%;color:#36578c;margin: 0 5px 0 5px;border-bottom:1px solid #90918c;}
    63.