style.css (1904B) [raw]
1 /* general defaults */ 2 body { 3 background-color: #F5F5F5; 4 margin-left: 20px; 5 margin-right: 20px; 6 font-size: 1.3em; 7 line-height: 1.3; 8 font-family: monospace; 9 } 10 11 /* style tweaks */ 12 a:link { color: #0a7899; } 13 a:visited { color: #033a4a; } 14 code { font-size: 1em; } 15 h1 { font-size: 1.1em; } 16 h2 { font-size: 1em; } 17 .foot-license { 18 margin-top: 16px; 19 font-size: .7em; 20 position: static; 21 bottom: 0; 22 } 23 24 /* override bold/italic colors within permalinks */ 25 a.permalink { text-decoration: none } 26 b,i { color: #000000 } 27 28 /* Responsive screen sizes */ 29 @media only screen and (min-width: 992px) { 30 body { 31 width: 60%; 32 margin: 0 auto; 33 } 34 } 35 @media only screen and (min-width: 600px) and (max-width: 991px) { 36 body { 37 width: 80%; 38 margin: 0 auto; 39 } 40 } 41 42 /* Smaller font on small screens */ 43 @media only screen and (max-width: 599px) { 44 body { font-size: 1.1em; } 45 } 46 47 /* margins around head/foot */ 48 table.foot { margin-top: 3em; } 49 table.head { margin-bottom: 3em; } 50 51 /* scrollbars on the block-display content */ 52 div.Bd-indent { 53 border-left-color: gray; 54 border-left-style: solid; 55 border-left-width: 2px; 56 border-radius: 5px; 57 padding-left: 1em; 58 } 59 60 .Bd > pre { 61 overflow-x: auto; 62 } 63 64 /* Bl-tag correctly with grid for blog.7 */ 65 dl.Bl-tag { 66 display: grid; 67 grid-template-columns: max-content auto 68 } 69 dl.Bl-tag dd { 70 margin-left: 16px; 71 margin-bottom: 1em; 72 } 73 74 /* defaults from mandoc(1)'s inlined CSS */ 75 table.head, table.foot { width: 100%; } 76 td.head-rtitle, td.foot-os { text-align: right; } 77 .Nd, .Bf, .Op { display: inline; } 78 .Pa, .Ad { font-style: italic; } 79 .Ms { font-weight: bold; } 80 .Bl-diag > dt { font-weight: bold; } 81 code.Nm, .Fl, .Cm, .Ic, code.In, .Fd, .Fn, .Cd { 82 font-weight: bold; 83 } 84 85 .jam-artists tr:nth-child(even) { 86 background-color: #e3e3e3; 87 } 88 td.jam-artists, th.jam-artists, table.jam-artists { 89 border: 1px solid black; 90 }