Davide Pesavento | fa33f8d | 2020-09-19 18:48:42 -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 { font-size: 26px; } |
| 10 | h2 { font-size: 20px; } |
| 11 | h3 { font-size: 17px; } |
| 12 | h4 { font-size: 15px; } |
| 13 | |
| 14 | h1, h2, h3, h4 { |
| 15 | font-weight: bold; |
| 16 | } |
| 17 | |
| 18 | h2, h3, h4 { |
| 19 | line-height: 1.2; |
| 20 | } |
| 21 | |
| 22 | blockquote { |
| 23 | border-left: none; |
| 24 | font-style: normal; |
| 25 | } |
| 26 | |
| 27 | blockquote p { |
| 28 | color: #222; |
| 29 | } |
| 30 | |
| 31 | p.logo { |
| 32 | float: left; |
| 33 | margin: 1px 0 0 0; |
| 34 | padding: 0; |
| 35 | } |
| 36 | |
| 37 | table { |
| 38 | border-collapse: collapse; |
| 39 | } |
| 40 | |
| 41 | th, td { |
| 42 | border: 1px solid #666; |
| 43 | padding: 5px; |
| 44 | } |
| 45 | |
| 46 | div.document p { |
| 47 | margin: 0.5em 0; |
| 48 | padding: 0; |
| 49 | } |
| 50 | |
| 51 | div.document ol, |
| 52 | div.document ul { |
| 53 | margin: 0 0 0 2em; |
| 54 | } |
| 55 | |
| 56 | div.document pre { |
| 57 | font-size: 13px; |
| 58 | line-height: 1.3; |
| 59 | margin: 0; |
| 60 | padding: 10px 20px; |
| 61 | } |
| 62 | |
| 63 | div.document table p { |
| 64 | margin: 0; |
| 65 | } |
| 66 | |
| 67 | div.document th p { |
| 68 | font-weight: bold; |
| 69 | } |
| 70 | |
| 71 | div.bodywrapper a, |
| 72 | div.header a:hover, |
| 73 | div.sidebar a:hover { |
| 74 | text-decoration: none; |
| 75 | } |