User:Melroch/monobook.css: Difference between revisions

Latest revision as of 11:32, 21 November 2023

/* <pre> */
body { font-family: "Noto Serif", "Noto Sans", "DejaVu Serif", "Free Serif", "Charis SIL", "DejaVu Sans", "Arial Unicode MS", Thryomanes, Gentium, GentiumAlt, Code2000, "Microsoft Sans Serif","Lucida Sans Unicode", serif !important;
font-size: 10pt;
line-height: 150%
 /* text-align: justify; */
}

h1, h2, h3, h4, h5, h6, h7 { 
font-family: "Noto Serif", "Noto Sans", "DejaVu Serif", "Free Serif", "Charis SIL", "DejaVu Sans", "Arial Unicode MS", Thryomanes, Gentium, GentiumAlt, Code2000, "Microsoft Sans Serif","Lucida Sans Unicode", serif !important;
}

/*@media print { h1, h2, h3, h4, h5, h6, h7 { font-family: "Noto Sans", "DejaVu Sans" !important; } }*/

@media print {
    span.gloss:after { 
        content: "(" attr(title) ")";
        vertical-align: text-top !important;
        font-size: 70% !important;
    }
}

@media handheld {
    span.gloss:after { 
        content: "(" attr(title) ")";
    }
}

sup { 
  vertical-align: text-top !important;
  font-size: 70% !important;
}

sub { 
  vertical-align: text-bottom !important;
  font-size: 70% !important;
}

a:link, a:visited, a:active, a:hover {
  text-decoration: underline ! important;
}

a:visited { color: #a00 }

a.new, #p-personal a.new {
	color: #FF9900;
}
a.new:visited, #p-personal a.new:visited {
	color: #FF33FF;
}


th { font-family: "Noto Sans", "DejaVu Sans", "Arial Unicode MS", "Microsoft Sans Serif", sans-serif; 
text-align: left;
}

caption { font-family: "Noto Sans", "DejaVu Sans", "Arial Unicode MS", "Microsoft Sans Serif", "DejaVu Sans Mono", sans-serif;
/* font-weight: bold; */
font-size: 10pt ! important;
}

textarea#wpTextbox1 { font-family: "Noto Sans", "Bitstream Vera Sans Mono", "DejaVu Sans Mono", Junicode; 
font-size: 11pt ! important;
}

textarea, input { font-family: "Noto Sans", "Bitstream Vera Sans", "DejaVu sans", Junicode; 
font-size: 8pt ! important;
}


div.editsection { font-size: smaller; }

.IPA { font-family: "Noto Serif", "Noto Sans", "DejaVu Serif", "DejaVu Sans", "Charis SIL", "Arial Unicode MS", Thryomanes, Gentium, GentiumAlt, Code2000, "Microsoft Sans Serif","Lucida Sans Unicode";
}

.Unicode { font-family: "Noto Serif", "Noto Sans",  "Charis SIL"; font-size: 12pt ! important; }

.MUFI { font-family: Junicode, Cardo;
}


.sans { font-family: "Noto Sans", "DejaVu Sans", "Arial Unicode MS", "Microsoft Sans Serif", sans-serif;
}

.red {color: #E41B17;}

.smallcaps {font-variant: small-caps;}

table.gridtable, table.gridtable th, table.gridtable td {
   border-color: #aaa;
}
/* save ink and paper with very small fonts */
@media print {
    #footer,
    #content,
    body { font-size: 8pt !important;
        margin 1in;
    }

    .IPA { font-family: "Noto Serif", "Charis SIL"; 
          font-size: 8pt !important; 
    }

    h1 { font-size: 16pt;
        page-break-after: avoid;
    }
    h2 { font-size: 14pt;
        page-break-after: avoid;
    }
    h3 { font-size: 12pt;
        page-break-after: avoid;
    }
    h4 { font-size: 10pt;
        page-break-after: avoid;
    }
    h5 { font-size: 8pt;
        page-break-after: avoid;
    }
    h6 { 
        font-size: 8pt;
        font-weight: normal;
        page-break-after: avoid;
    }
   .toc {display: none}
   a:link, a:visited, a:active, a:hover {
        text-decoration: underline ! important;
    }

span.obj-term, span.obj-etym-term { font-style: italic !important; }

}
/* </pre> */