annotate css/octave.css @ 89:c7c9825fbdf8 kai

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