-
Notifications
You must be signed in to change notification settings - Fork 1
/
latexrender.css
117 lines (113 loc) · 3.28 KB
/
latexrender.css
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
/**
* Tagger Plugin for Wolf CMS <http://thehub.silentworks.co.uk/plugins/frog-cms/tagger.html>
* Alternate Mirror site <http://www.tbeckett.net/articles/plugins/tagger.xhtml>
* Copyright (C) 2008 - 2011 Andrew Smith <a.smith@silentworks.co.uk>
* Copyright (C) 2008 - 2011 Tyler Beckett <tyler@tbeckett.net>
*
* Dual licensed under the MIT (license/mit-license.txt)
* and GPL (license/gpl-license.txt) licenses.
*/
a {
color: #0134c5;
background-color: transparent;
text-decoration: none;
font-weight: normal;
}
a:visited {
color: #0134c5;
background-color: transparent;
text-decoration: none;
}
a:hover {
color: #000;
text-decoration: none;
background-color: transparent;
}
#latexrender_content h1 {
color: #e13300;
border-bottom: 1px solid #666;
border-radius: 0;
background-color: transparent;
font-weight: normal;
font-size: 24px;
margin: 0 0 20px 0;
padding: 3px 0 7px 3px;
text-shadow: none;
}
#latexrender_content h2 {
background-color: transparent;
border-bottom: 1px solid #999;
color: #000;
font-size: 18px;
font-weight: bold;
margin: 28px 0 16px 0;
padding: 5px 0 6px 0;
}
#latexrender_content h3 {
background-color: transparent;
color: #333;
font-size: 16px;
font-weight: bold;
margin: 16px 0 15px 0;
padding: 0 0 0 0;
}
#latexrender_content h4 {
background-color: transparent;
color: #444;
font-size: 14px;
font-weight: bold;
margin: 22px 0 0 0;
padding: 0 0 0 0;
}
#latexrender_content code {
font-family: Monaco, Verdana, Sans-serif;
font-size: 12px;
background-color: #f9f9f9;
border: 1px solid #D0D0D0;
color: #002166;
display: block;
margin: 14px 0 14px 0;
padding: 12px 10px 12px 10px;
}
#latexrender_content var {
font-family: Lucida Grande, Verdana, Geneva, Sans-serif;
color: #8F5B00;
font-weight: bold;
font-style: normal;
}
#latexrender_content samp {
font-family: Lucida Grande, Verdana, Geneva, Sans-serif;
color: #480091;
font-weight: bold;
font-style: normal;
}
#latexrender_content p {
margin: 12px 20px 12px 0;
}
#latexrender_content ul {
margin: 10px 0 12px;
}
#latexrender_content ul li {
margin-bottom: 9px;
}
#latexrender_content ul li p {
margin: 5px 0 6px 20px;
}
ul.tagged { font-size: 0.7em; text-indent: 40px; }
ul.tagged li { display: inline; padding: 2px 1px; border: none; }
#snippets .tagged a { top: 0; }
em.new { color: #f00; }
.bottom-5 { margin-bottom: 5px; }
.bottom-10 { margin-bottom: 10px; }
.bottom-15 { margin-bottom: 15px; }
.bottom-20 { margin-bottom: 20px; }
/*CSS Yahoo new version style pagination*/
div.pagination { padding: 3px; margin: 3px; text-align:center; font-family: Tahoma,Helvetica,sans-serif; font-size: .85em; }
div.pagination a { border: 1px solid #ccdbe4; margin-right: 3px; padding: 2px 8px; background-position: bottom; text-decoration: none; color: #0061de; }
div.pagination a:hover, div.pagination a:active { border: 1px solid #2b55af; background-image: none; background-color: #3666d4; color: #fff; }
div.pagination span.current { margin-right: 3px; padding: 2px 6px; font-weight: bold; color: #000; }
div.pagination span.disabled { display: none; }
div.pagination a.next{ border: 2px solid #ccdbe4; margin: 0 0 0 10px; }
div.pagination a.next:hover{ border: 2px solid #2b55af; }
div.pagination a.prev{ border: 2px solid #ccdbe4; margin: 0 10px 0 0; }
div.pagination a.prev:hover{ border: 2px solid #2b55af; }