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 /* Preformatted text. */ 56 57 pre { 58 border: 1pt solid #AEBDCC; 59 background-color: #F3F5F7; 60 padding: 5pt; 61 font-family: courier, monospace; 62 white-space: pre; 63 } 64 65 /* Monospace inline text frequently looks smaller than the surrounding text. */ 66 67 tt { 68 font-size: 120%; 69 } 70 71 /* Embedded objects. */ 72 73 svg, object { 74 margin: 1em 0; 75 }