Commit b1a89f8b059d9a6d31b50046b6de6c9d99574f8e

prefer BitStream Vera, if available

Commit diff

public/stylesheets/base.css

 
2727 line-height: 1.461em;
2828 background: #fff;
2929 color: #000;
30 font-family: Georgia, Times, "Times new Roman", serif;
30 font-family: Georgia, Times, "Times new Roman", serif;
3131 margin: 0;
3232 padding: 0;
3333}
6565 line-height: 1.461em;
6666 margin-bottom: 1.461em;
6767}
68p, ul, blockquote, td, th, label {
69 font-family: "Bitstream Vera Serif", Georgia, Times, "Times new Roman", serif;
70}
71
6872p.small {
6973 margin: 0;
7074 font-size: 0.846em;
8080 margin-bottom: 1.461em;
8181}
8282code, pre, tt {
83 font: 95%/105% Monaco, "Courier New", Courier, monaco, monospace;
83 font: 95%/105% "Bitstream Vera Sans Mono", Monaco, "Courier New", Courier, monospace;
8484}
8585a {
8686 color: #630;
614614 vertical-align: top;
615615 background: #eee;
616616 color: #555;
617 font-size: 10px;
617 font-size: 90%;
618618 padding: 2px;
619619 width: 35px;
620620 border-right: 1px solid #ccc;
625625 padding-left: 10px;
626626 white-space: pre;
627627 background: #fff;
628 font: 95%/105% Monaco, "Courier New", Courier, monaco, monospace;
628 font: 95%/105% "Bitstream Vera Sans Mono", Monaco, "Courier New", Courier, monospace;
629629}
630630
631631table.sidebyside {
640640 border: 1px solid #ccc;
641641 width: 100%;
642642 border-collapse: collapse;
643 font: 95%/105% Monaco, "Courier New", Courier, monaco, monospace;
643 font: 95%/105% "Bitstream Vera Sans Mono", Monaco, "Courier New", Courier, monospace;
644644}
645645table.codediff .line-num-cut {
646646 background: #ccc;
toggle raw diff