Davide Pesavento | 751939c | 2020-06-26 22:16:24 -0400 | [diff] [blame^] | 1 | @import "agogo.css"; |
| 2 | @import "foundation.css"; |
| 3 | @import "named_data_style.css"; |
| 4 | |
| 5 | body, h1, h2, h3, h4, p { |
| 6 | font-family: -apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Oxygen-Sans,Ubuntu,Cantarell,"Helvetica Neue",sans-serif; |
| 7 | } |
| 8 | |
| 9 | h1, h2, h3, h4 { |
| 10 | font-weight: bold; |
| 11 | line-height: 1.2; |
| 12 | } |
| 13 | |
| 14 | h1 { font-size: 26px; } |
| 15 | h2 { font-size: 20px; } |
| 16 | h3 { font-size: 17px; } |
| 17 | h4 { font-size: 15px; } |
| 18 | |
| 19 | blockquote { |
| 20 | border-left: none; |
| 21 | font-style: normal; |
| 22 | } |
| 23 | |
| 24 | blockquote p { |
| 25 | color: #222; |
| 26 | } |
| 27 | |
| 28 | p.logo { |
| 29 | float: left; |
| 30 | margin: 1px 0 0 0; |
| 31 | padding: 0; |
| 32 | } |
| 33 | |
| 34 | table { |
| 35 | border-collapse: collapse; |
| 36 | } |
| 37 | |
| 38 | th, td { |
| 39 | border: 1px solid #666; |
| 40 | padding: 5px; |
| 41 | } |
| 42 | |
| 43 | div.document p { |
| 44 | margin: 0.5em 0; |
| 45 | padding: 0; |
| 46 | } |
| 47 | |
| 48 | div.document ol, |
| 49 | div.document ul { |
| 50 | margin: 0 0 0 2em; |
| 51 | } |
| 52 | |
| 53 | div.document pre { |
| 54 | font-size: 13px; |
| 55 | line-height: 1.3; |
| 56 | margin: 0; |
| 57 | padding: 10px 20px; |
| 58 | } |
| 59 | |
| 60 | div.document table p { |
| 61 | margin: 0; |
| 62 | } |
| 63 | |
| 64 | div.document th p { |
| 65 | font-weight: bold; |
| 66 | } |
| 67 | |
| 68 | div.bodywrapper a, |
| 69 | div.header a:hover, |
| 70 | div.sidebar a:hover { |
| 71 | text-decoration: none; |
| 72 | } |