Mercurial > web-octave

annotate css/octave.css @ 70:ca78967fd4c3 kai

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improve syntax highlighting.
author Kai T. Ohlhus <k.ohlhus@gmail.com>
date Thu, 13 Oct 2016 17:49:25 +0200
parents a7952259f5d3
children 4e0675ad8c98
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
66
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
1 svg.octicon-rss-octave {
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
2 fill: #ffffff;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
3 background-color: #fb9e3a;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
4 width: 16px;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
5 height: 16px;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
6 padding: 2px;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
7 }
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
8
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
9 svg.octicon-stop-octave {
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
10 fill: #ff0000;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
11 width: 18pt;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
12 height: 18pt;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
13 float: left;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
14 margin-right: 10px;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
15 }
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
16
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
17 svg.octicon-topnav {
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
18 height: 18px;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
19 }
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
20
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
21 span.post-small {
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
22 font-size: 85%;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
23 }
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
24
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
25 div.alert {
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
26 border: 2px solid #ff0000;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
27 padding: 5px;
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
28 }
a7952259f5d3 Markdownify more pages, make better use of SVG and CSS.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 63
diff changeset
29
46
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
30 div#logo {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
31 color: #0790c0;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
32 margin: 10px;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
33 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
34
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
35 div#logo img {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
36 height: 70px;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
37 vertical-align:middle;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
38 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
39
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
40 div#logo span {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
41 font-weight: bold;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
42 font-size: 25pt;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
43 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
44
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
45 body {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
46 font-family: arial,sans-serif;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
47 font-weight: normal;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
48 font-size: medium;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
49 background: white;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
50 color: black;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
51 margin: 0;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
52 padding: 0px;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
53 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
54
63
0a7baadc93a4 Overhaul index.md start page. Less is more! Tidy up css.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 60
diff changeset
55 a, a:link {
46
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
56 text-decoration: none;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
57 color: #0790c0;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
58 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
59
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
60 a:hover {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
61 color: #1b1c7d;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
62 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
63
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
64 div.page-content {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
65 width: 540px;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
66 margin: 0 auto;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
67 text-align: justify;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
68 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
69
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
70 footer {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
71 clear: both;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
72 font-size: x-small;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
73 text-align: center;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
74 border-top: 1px solid;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
75 margin: 5px;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
76 margin-top: 20px;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
77 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
78
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
79 dt {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
80 font-weight: bold;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
81 margin-top: 7px;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
82 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
83
63
0a7baadc93a4 Overhaul index.md start page. Less is more! Tidy up css.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 60
diff changeset
84 time {
0a7baadc93a4 Overhaul index.md start page. Less is more! Tidy up css.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 60
diff changeset
85 font-weight: normal;
0a7baadc93a4 Overhaul index.md start page. Less is more! Tidy up css.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 60
diff changeset
86 }
0a7baadc93a4 Overhaul index.md start page. Less is more! Tidy up css.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 60
diff changeset
87
46
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
88 h1 {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
89 font-size: 16pt;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
90 font-weight: bold;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
91 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
92
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
93 h2 {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
94 font-size: 14pt;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
95 font-weight: bold;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
96 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
97
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
98 h3 {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
99 font-size: 12pt;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
100 font-weight: bold;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
101 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
102
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
103 ul.topnav {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
104 list-style-type: none;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
105 margin: 0;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
106 padding: 0;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
107 overflow: hidden;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
108 background-color: #0790c0;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
109 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
110
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
111 ul.topnav li {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
112 float: left;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
113 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
114
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
115 ul.topnav li a {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
116 display: inline-block;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
117 color: #f2f2f2;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
118 text-align: center;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
119 padding: 14px 16px;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
120 text-decoration: none;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
121 transition: 0.3s;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
122 font-size: 20px;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
123 vertical-align: baseline;;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
124 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
125
58
2e2e9feba1f3 Refactor top navigation.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 51
diff changeset
126 ul.topnav li a:hover,
2e2e9feba1f3 Refactor top navigation.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 51
diff changeset
127 ul.topnav li a:focus,
2e2e9feba1f3 Refactor top navigation.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 51
diff changeset
128 ul.topnav li a.active {
46
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
129 background-color: #555;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
130 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
131
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
132 ul.topnav li.icon {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
133 display: none;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
134 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
135
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
136 ul.topnav li#logo a {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
137 font-size: 30px;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
138 font-weight: bold;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
139 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
140
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
141 ul.topnav li svg {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
142 fill: white;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
143 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
144
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
145 @media screen and (max-width:700px) {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
146 ul.topnav li:not(:first-child) {display: none;}
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
147 ul.topnav li.icon {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
148 float: right;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
149 display: inline-block;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
150 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
151 ul.topnav.responsive {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
152 position: relative;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
153 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
154 ul.topnav.responsive li.icon {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
155 position: absolute;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
156 right: 0;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
157 top: 0;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
158 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
159 ul.topnav.responsive li {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
160 float: none;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
161 display: inline;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
162 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
163 ul.topnav.responsive li a {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
164 display: block;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
165 text-align: left;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
166 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
167 div.page-content {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
168 width: auto;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
169 margin: 15px;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
170 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
171 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
172
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
173 @media screen and (min-width:1000px) {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
174 div.page-content {
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
175 width: auto;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
176 margin-left: 10%;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
177 margin-right: 10%;
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
178 }
171ca967fcc9 Start new development branch closer to the current website,
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents:
diff changeset
179 }
70
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
180
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
181 /* Syntax highlight with https://rubygems.org/gems/pygments.rb within Jekyll */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
182
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
183 span.hll { background-color: #ffffcc }
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
184 span.c { color: #00aa00; font-style: italic } /* Comment */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
185 span.err { border: 1px solid #FF0000 } /* Error */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
186 span.k { color: #007020; font-weight: bold } /* Keyword */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
187 span.p { color: #aa0000 } /* Operator */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
188 span.o { color: #aa0000 } /* Operator */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
189 span.cm { color: #00aa00; font-style: italic } /* Comment.Multiline */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
190 span.cp { color: #00aa00 } /* Comment.Preproc */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
191 span.c1 { color: #00aa00; font-style: italic } /* Comment.Single */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
192 span.cs { color: #00aa00; background-color: #fff0f0 } /* Comment.Special */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
193 span.gd { color: #A00000 } /* Generic.Deleted */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
194 span.ge { font-style: italic } /* Generic.Emph */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
195 span.gr { color: #FF0000 } /* Generic.Error */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
196 span.gh { color: #000080; font-weight: bold } /* Generic.Heading */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
197 span.gi { color: #00A000 } /* Generic.Inserted */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
198 span.go { color: #808080 } /* Generic.Output */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
199 span.gp { color: #c65d09; font-weight: bold } /* Generic.Prompt */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
200 span.gs { font-weight: bold } /* Generic.Strong */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
201 span.gu { color: #800080; font-weight: bold } /* Generic.Subheading */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
202 span.gt { color: #0040D0 } /* Generic.Traceback */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
203 span.kc { color: #007020; font-weight: bold } /* Keyword.Constant */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
204 span.kd { color: #007020; font-weight: bold } /* Keyword.Declaration */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
205 span.kn { color: #007020; font-weight: bold } /* Keyword.Namespace */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
206 span.kp { color: #007020 } /* Keyword.Pseudo */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
207 span.kr { color: #007020; font-weight: bold } /* Keyword.Reserved */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
208 span.kt { color: #902000 } /* Keyword.Type */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
209 span.m { color: #40a070 } /* Literal.Number */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
210 span.s { color: #ff8c00 } /* Literal.String */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
211 span.na { color: #4070a0 } /* Name.Attribute */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
212 span.nb { color: #000000 } /* Name.Builtin */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
213 span.nc { color: #0e84b5; font-weight: bold } /* Name.Class */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
214 span.no { color: #60add5 } /* Name.Constant */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
215 span.nd { color: #555555; font-weight: bold } /* Name.Decorator */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
216 span.ni { color: #d55537; font-weight: bold } /* Name.Entity */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
217 span.ne { color: #007020 } /* Name.Exception */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
218 span.nf { color: #06287e } /* Name.Function */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
219 span.nl { color: #002070; font-weight: bold } /* Name.Label */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
220 span.nn { color: #0e84b5; font-weight: bold } /* Name.Namespace */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
221 span.nt { color: #062873; font-weight: bold } /* Name.Tag */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
222 span.nv { color: #bb60d5 } /* Name.Variable */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
223 span.ow { color: #007020; font-weight: bold } /* Operator.Word */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
224 span.w { color: #bbbbbb } /* Text.Whitespace */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
225 span.mf { color: #aaaa00 } /* Literal.Number.Float */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
226 span.mh { color: #aaaa00 } /* Literal.Number.Hex */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
227 span.mi { color: #aaaa00 } /* Literal.Number.Integer */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
228 span.mo { color: #aaaa00 } /* Literal.Number.Oct */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
229 span.sb { color: #4070a0 } /* Literal.String.Backtick */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
230 span.sc { color: #4070a0 } /* Literal.String.Char */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
231 span.sd { color: #4070a0; font-style: italic } /* Literal.String.Doc */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
232 span.s2 { color: #4070a0 } /* Literal.String.Double */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
233 span.se { color: #4070a0; font-weight: bold } /* Literal.String.Escape */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
234 span.sh { color: #4070a0 } /* Literal.String.Heredoc */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
235 span.si { color: #70a0d0; font-style: italic } /* Literal.String.Interpol */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
236 span.sx { color: #c65d09 } /* Literal.String.Other */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
237 span.sr { color: #235388 } /* Literal.String.Regex */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
238 span.s1 { color: #4070a0 } /* Literal.String.Single */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
239 span.ss { color: #517918 } /* Literal.String.Symbol */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
240 span.bp { color: #007020 } /* Name.Builtin.Pseudo */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
241 span.vc { color: #bb60d5 } /* Name.Variable.Class */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
242 span.vg { color: #bb60d5 } /* Name.Variable.Global */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
243 span.vi { color: #bb60d5 } /* Name.Variable.Instance */
ca78967fd4c3 Improve syntax highlighting.
Kai T. Ohlhus <k.ohlhus@gmail.com>
parents: 66
diff changeset
244 span.il { color: #40a070 } /* Literal.Number.Integer.Long */