1 html { 2 background-color: white; 3 color: black; 4 font-family: sans-serif; 5 font-size: 1em; 6 } 7 8 body { 9 margin: 0 5em; 10 padding: 0; 11 border: 0; 12 } 13 14 a, img { 15 border: 0; 16 } 17 18 /* List formatting. */ 19 20 dl, ol, ul { 21 padding: 0 1em; 22 margin: 0 0.5em; 23 } 24 25 li p { 26 margin: 0.1em 0; 27 } 28 29 dt { 30 margin-top: 0.25em; 31 font-weight: bold; 32 } 33 34 dd { 35 margin-top: 0; 36 margin-bottom: 0; 37 } 38 39 dd p { 40 margin: 0.1em 0; 41 } 42 43 /* Table formatting. */ 44 45 table { 46 margin: 0.5em 0 0 0.5em; 47 border-collapse: collapse; 48 } 49 50 th, td { 51 padding: 0.25em 0.5em 0.25em 0.5em; 52 border: 1pt solid #ADB9CC; 53 } 54 55 td p { 56 margin: 0; 57 padding: 0; 58 } 59 60 /* Preformatted text. */ 61 62 pre { 63 border: 1pt solid #AEBDCC; 64 background-color: #F3F5F7; 65 padding: 5pt; 66 font-family: courier, monospace; 67 white-space: pre; 68 } 69 70 /* Monospace inline text frequently looks smaller than the surrounding text. */ 71 72 tt { 73 font-size: 120%; 74 } 75 76 /* Embedded objects. */ 77 78 svg, object { 79 margin: 1em 0; 80 }