@media only screen 
and (min-width: 992px)
and (max-width: 1199px) {
    body { font-size: 14pt; }
    div.content { width: 96ex; margin: 0 auto; }
}
@media only screen 
and (min-width: 768px)
and (max-width: 991px) {
    body { font-size: 14pt; }
    div.content { width: 96ex; margin: 0 auto; }
}
@media only screen 
and (min-width: 480px)
and (max-width: 767px) {
    body { font-size: 11pt; }
    div.content { width: 96ex; margin: 0 auto; }
}
@media only screen 
and (max-width: 479px) {
    body { font-size: 8pt; }
    div.content { width: 96ex; margin: 0 auto; }
}
@media only screen 
and (min-device-width : 375px) 
and (max-device-width : 667px) {
    body { font-size: 9.5pt; }
    div.content { width: 96ex; margin: 0; }
}
@media only screen 
and (min-device-width: 1200px) {
    body { font-size: 10pt; margin: 0 4em; }
    div.content { width: 96ex; margin: 0; }
}
h1, h2, h3, h4, h5, h6, .h1, .h2, .h3, .h4, .h5, .h6 {
    font-weight: bold;
    /* line-height: 0pt; */
    display: inline;
    white-space: pre;
    font-family: monospace;
    font-size: 1em;
    font-weight: bold;
}
pre {
    font-size: 1em;
    margin-top: 0px;
    margin-bottom: 0px;
}
.pre {
    white-space: pre;
    font-family: monospace;
}
.header{
    font-weight: bold;
}
.newpage {
    page-break-before: always;
}
.invisible {
    text-decoration: none;
    color: white;
}
a.selflink {
    color: black;
    text-decoration: none;
}
@media print {
    body {
        font-family: monospace;
        font-size: 10.5pt;
    }
    h1, h2, h3, h4, h5, h6 {
        font-size: 1em;
    }
    
    a:link, a:visited {
        color: inherit;
        text-decoration: none;
    }
    .noprint {
        display: none;
    }
}
@media screen {
    .grey, .grey a:link, .grey a:visited {
	color: #777;
    }
    .docinfo {
        background-color: #EEE;
    }
    .top {
        border-top: 7px solid #EEE;
    }
    .pad {
        padding-top: 7px;
        line-height: 24px;
        padding-bottom: 4px;
    }
    .bgwhite  { background-color: white; }
    .bgred    { background-color: #F44; }
    .bggrey   { background-color: #666; }
    .bgbrown  { background-color: #840; }            
    .bgorange { background-color: #FA0; }
    .bgyellow { background-color: #EE0; }
    .bgmagenta{ background-color: #F4F; }
    .bgblue   { background-color: #66F; }
    .bgcyan   { background-color: #4DD; }
    .bggreen  { background-color: #4F4; }

    .legend   { font-size: 90%; }
    .cplate   { font-size: 70%; border: solid grey 1px; }
}

/* This file is in the public domain.
   Default styling rules for GNU poke.  */

/* .logo .copyright .type .struct-type-name .array */

.logo { text-decoration: blink; }
.error { font-weight: bold; color : red; }
.error-filename { text-decoration: underline; }
.error-location { text-decoration: underline; }
.warning { color : orange; }
.prompt { font-weight : bold; }
.offset { color : orange; }
.special { color : white; }
.string { color : brown; }
.any { color : orange; }
.struct-field-name { text-decoration : underline; }
.integer { color : green; }

.table_header { text-decoration: underline; }

.dump-ruler { text-decoration: underline; }
.dump-address { color : green; }
.dump-ascii { color : brown; }

/* Classes for pickles in pickles/  */

.leb128 { color : grey; }

/* Classes for ISA-related stuff.  */
.insn-mnemonic { color : yellow; }
.insn-register { color : yellow; }