/* sun223.css from sun223.tex (TeX4ht, 2023-11-29 14:52:00) */ /* css.sty */ /*Basic body styling */ html{ background-color:silver; } body{ background-color:white; } /* Set up css for the spans:*/ .sc{font-variant: small-caps;} .sf{ font-family: "Verdana"; font-size:85%; } .small{font-size: .8em;} .tt{ font-family: "Droid Sans Mono",monospace; white-space: normal; font-size: 85%; line-space:85%; } /* terminal listings and similar*/ .terminalv,.verb,.verbatim,.fancyvrb,pre{ font-family: "Droid Sans Mono",monospace; white-space: nowrap; color: #191970; font-size: 85%; line-space:85%; } /* starlink tasks*/ .task{ font-family: "Verdana"; font-size: 85%; } /*right aligned object*/ .pushright{ float:right; } /*.titlesection{font-size: 100%; line-height: 120%; width:100%}*/ div.titleformat{ font-size: 200%; line-height: 150%; text-align: center; display: block; font-weight: bold; } /*General css for regular body:*/ body{ margin-top: 2em; margin-bottom: 1em; max-width: 45em; margin-left: auto; margin-right: auto; padding: 3em; color: #444; font-family: serif; font-style: normal; font-size: 1em; line-height: 130%; border: 1px solid #fefeef; padding:1em 3em; } /*Turn off indenting of text.*/ p.indent{ text-indent: 0em; } /*CSS font face option*/ @font-face{font-family: "Droid Sans Mono";} /*Font for .figure*/ .figure{ font-family: "Verdana",sans-serif; font-size: 80%; } /*Fonts for section headings.*/ .sectionHead, .likesectionHead, .subsectionHead,.likesubsectionHead, .sstattributeHead{ font-family:"Georgia", serif; font-weight:bold; font-size:110%; } .subsubsectionHead, .likesubsubsectionHead { font-family: "Georgia", serif; font-weight: bold; font-size: 105%; } /* spacing for sectionheads*/ .sectionHead, .likesectionHead{ padding:5px; } /*Fonts for some headings and table of contents entries.*/ strong, b, .partToc a, .partToc, .likepartToc a, .likepartToc, .chapterToc a, .chapterToc, .likechapterToc a, .likechapterToc, .appendixToc a, .appendixToc, .addchapToc, .paragraphHead, .likeparagraphHead, .subparagraphHead, .likesubparagraphHead, .caption td.id, .ecbx-0700{ font-family: "EB Garamond Bold", serif; } /*Fonts for small caps stuff.*/ .booksubtitle, .dvday, .sectionHead, .likesectionHead, .dvquote-ref, .dvbox .lettrine-line{ font-family: "EB Garamond SC", serif; } /*Background colour for sectionHeads (blue)*/ .likesectionHead, .sectionHead{ background-color:#ACCFE6; padding:0.5; } /*Fonts for chapter and appendix head*/ .appendixHead,.chapterHead{ line-height:140%; } /*Minipage??? This will be problematic...*/ div.minipage { float: left; margin: 1ex 1em 1ex 0; } div.minipage:last-child ::after { content ""; clear: both; } div.minipage + h3{ clear:both; } /*Style for tipbox and starlinktextbox (blue background)*/ .sltextbox,.tipbox{ width:80%; border-color:#ACCFE6; margin:0px auto; border-style:solid; border-width:thick; border-radius:15px; } /* tiptox title spacing */ span.tbtitle + div.tipbox-text{ margin-top:10px; } /* tip box title */ .tbtitle{ display:block; font-weight:bold; background-color:#ACCFE6; border-color:#ACCFE6; padding: 1%; } /* tip box text*/ .tipbox-text{ padding-left: 0.5em; padding-right: 0.5em; padding-bottom: 0.5em; } /*framed page*/ .fmpage{ border: 1px solid black; display: inline-block; } /*Hide the rules around figures and floats*/ hr.figure, hr.endfigure, hr.float, hr.endfloat{ display:none; } /*Css various for images and captions*/ img, img.graphics{ max-width:100%; display:inline; margin-left:auto; margin-right:auto; } .figure img.graphics{ margin-left:auto; margin-right:auto; } div.float{ margin-left:auto; margin-right:auto; margin-top:3em; margin-bottom:3em; display:block; } div.figure{ margin-left:auto; margin-right:auto; margin-top:3em; margin-bottom:3em; display:block; } /* captions */ div.caption{ display:inline-block; caption-side:bottom; max-width:100%; } /* enumerated list */ dd.enumerate-enumitem{ padding-left:0.5em; } dt.enumerate-enumitem{ float:left; clear:left; margin-left:1em; margin-right:0em; } /*Css for enumerated description list.*/ .enumdesc{ counter-reset: enumdesc-counter; } .enumdesc dt { position: relative; font-weight: bold; font-size: 100%; left: 2.5%; right: 2.5%; } .enumdesc dt:before{ content: "(" counter(enumdesc-counter) ")"; counter-increment: enumdesc-counter; font-weight: bold; font-size: 100%; padding-left:2.5%; padding-right:1em; } .enumdesc dt, .enumdesc dd{ padding-left: 2.5%; padding-right: 2.5%; } /*Css for starlink description list */ .sldes dl { width: 100%; display:block; } .sldes dt { float:left; clear: left; width: 15%; } .sldes dd {% float: left; width:85%; display:inline-block; margin-left:0%; margin-bottom: 2em;} .sldes dd p:first-child{ margin-top:0%; } /* general description class */ .description dt { font-weight: bold; margin-left:1.5em; } .description dd{ margin-bottom:1em; margin-left:1.5em; } /* foot notes */ div.footnotes{ margin-right:0px; } div.footnotes span.footnote-mark{ padding-right:5px; padding-left:2px; } /*Css to align div.centers in center*/ div.center >div {text-align: center;} /* cross links */ div.crosslinks{ display: block; width: 100%; color: #808080; font-size: 85%; } div.crosslinks:first-of-type{ margin-bottom: 5ex; } div.crosslinks:last-of-type{ margin-top:5ex; } /* copyright */ div.copyright{ padding-bottom:3ex; } /* navbar */ ul.nav{ list-style: none; padding:0px; text-align:center; clear:both; } ul.nav li, ul.nav li a { display: inline-block; vertical-align: middle; } ul.nav li a{ border: none; padding:0.1ex 1ex; } ul.nav li.toc-hidden{ visibility:hidden; float:left; } ul.nav li.next{ float:right; } ul.nav li.prev{ float:left; } ul.nav li.title{ border:none; font-variant:small-caps; } ul.nav li.toc, ul.nav li.toc-hidden{ margin:0px 3ex; } ul.nav li.toc{ float: right; } div.crosslinks li a{ display:inline-block; text-decoration:none; color:#808080; } div.titlebar{ text-align:center; color:silver; } .crosslinks li > a:hover, .crosslinksr li > a:focus { text-decoration: none; background-color: #ACCFE6; } div.crosslinks li a:hover, div.crosslinks li a:focus{ color:black; } table.aligndesc td, table.aligndesc th{ padding-bottom:0.25em padding-top:0.25em; vertical-align:top; } /* basic table stuff*/ td.td { padding-left:5px; padding-right:5px; } /* default latex vertical align is center, not baseline?*/ td { vertical-align: middle; } \EndCss /*sst title*/ h3.sstsectitle{text-align:center;} p.subtitle{text-align:center} /*sst section styling*/ header.sstreftitle{ font-size:1.5em; border-bottom: 5px solid #aaa; } /*Styling for attributesection*/ div.attributesec:before{ content:""; display:block; border-bottom:solid 1px grey; padding-top:1em; } /*Styling for table of contents options*/ .tocdes{ width:25em; text-align:left; float:right } .toccom{ margin-left:3em; font-size:100% } /*Css styling for basic SST sections and their headings*/ div.sstvalues{padding-left:5%} /*the sst subsection*/ div.sstsub{padding-left:5%} /* sst description list*/ dl.sst{ font-weight:bold } div.sstusage,dl.sstexamplesubsection{ font-family: "Droid Sans Mono",monospace; white-space: nowrap; font-size: 80%; line-space:85% } dl.sstsub{font-weight:bold;} /* css.sty */