actions
/
mdBook
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
mdBook/src/theme/stylus/general.styl

50 lines
715 B
Stylus
Raw Normal View History

Converted all css to stylus
2015-09-19 04:13:55 +08:00
html, body {
Bumped version that was still set to 0.0.1 + added a bigger top margin for h2 and h3 elements
2015-11-10 23:26:39 +08:00
font-family: "Open Sans", sans-serif
color: #333
Converted all css to stylus
2015-09-19 04:13:55 +08:00
}
On iOS, allow scrolling to the top of the page by tapping the top of the screen * This is a built-in function of iOS Safari that didn't work because the page content was inside absolutely-positioned, scrollable divs. * The fix is to stop using absolute positioning on `.page-wrapper` and `.page`, so that the content uses static positioning and flows naturally down the page. * Consequently, `.sidebar` and `.nav-chapter` now have to use `position: fixed` in order to be positioned relative to the viewport. * This fix also enables Safari's built-in behavior of automatically hiding the top and bottom toolbars when scrolling down the page.
2017-06-05 10:58:51 +08:00
body {
margin: 0;
Fix code snippet font size a little smaller in FF
2017-09-18 17:18:21 +08:00
font-size: 1rem;
On iOS, allow scrolling to the top of the page by tapping the top of the screen * This is a built-in function of iOS Safari that didn't work because the page content was inside absolutely-positioned, scrollable divs. * The fix is to stop using absolute positioning on `.page-wrapper` and `.page`, so that the content uses static positioning and flows naturally down the page. * Consequently, `.sidebar` and `.nav-chapter` now have to use `position: fixed` in order to be positioned relative to the viewport. * This fix also enables Safari's built-in behavior of automatically hiding the top and bottom toolbars when scrolling down the page.
2017-06-05 10:58:51 +08:00
}
Added monospace font with support for box-drawing chars
2017-04-13 22:46:54 +08:00
code {
CSS: better fallback stack for monospaced fonts List of system fonts (R, I, B means roman, italic and bold. Ubuntu probably comes with more fonts, but I couldn't find a list to confirm.): ```txt Windows ---------- Consolas R RI B BI Courier R Courier New R RI B BI Lucida Console R Mac ---------- Andale Mono R Courier R RI B BI Courier New R RI B BI Menlo R RI B BI Monaco R Ubuntu ---------- Ubuntu Mono R RI B BI DejaVu Sans Mono R RI B BI ``` ```css font-family: Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace; ``` Consolas and Ubuntu are professionally designed fonts ([Lucas de Groot][1] and [Dalton Maag][2]), with true, calligraphic italic, so they go at the top of the stack. Menlo is [based on DejaVu Sans Mono][3], the only difference being a few tweaked glyphs, so DejaVu serves as a fallback for it. As for Courier New, other than being unreadably spindly, it's the default monospaced font in all browsers, so there's no need to include it in the stack. The `monospace, monospace;` declaration is, by now, [a standard hack][4] that overrides some browsers' behaviour of defaulting the `monospace` elements to smaller font size. Without it, any relative font size you apply to them will be calculated from that reduced size (seems to be 13 px in all browsers). [1]: https://en.wikipedia.org/wiki/Luc(as)_de_Groot [2]: https://en.wikipedia.org/wiki/Dalton_Maag [3]: http://www.leancrew.com/all-this/2009/10/the-compleat-menlovera-sans-comparison/ [4]: https://stackoverflow.com/questions/38781089/font-family-monospace-monospace
2017-05-24 12:07:58 +08:00
font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace;
Added monospace font with support for box-drawing chars
2017-04-13 22:46:54 +08:00
font-size: 0.875em;
}
Converted all css to stylus
2015-09-19 04:13:55 +08:00
.left {
Bumped version that was still set to 0.0.1 + added a bigger top margin for h2 and h3 elements
2015-11-10 23:26:39 +08:00
float: left
Converted all css to stylus
2015-09-19 04:13:55 +08:00
}
.right {
Bumped version that was still set to 0.0.1 + added a bigger top margin for h2 and h3 elements
2015-11-10 23:26:39 +08:00
float: right
Converted all css to stylus
2015-09-19 04:13:55 +08:00
}
Bumped version that was still set to 0.0.1 + added a bigger top margin for h2 and h3 elements
2015-11-10 23:26:39 +08:00
Hides rust code lines prepended with #
2015-12-29 19:26:32 +08:00
.hidden {
display: none;
}
first prototype of play-button enabling only if crate list supported also minor refactor of clipboard handling TODO: - `no_run` support - test with ACE - disable play button with tooltip instead of hiding
2017-08-08 06:05:33 +08:00
.play-button.hidden {
display: none;
}
Bumped version that was still set to 0.0.1 + added a bigger top margin for h2 and h3 elements
2015-11-10 23:26:39 +08:00
h2, h3 { margin-top: 2.5em }
Fix #83, spacing is reduced between two consecutive headings
2015-12-30 22:41:49 +08:00
h4, h5 { margin-top: 2em }
.header + .header h3, .header + .header h4, .header + .header h5 { margin-top: 1em }
Basic formatting for tables + Styling for blockquotes Added basic formatting for tables so that they have some padding and are aligned in the center of the page. I did not add color or borders because I am not sure how tables should look like. A lot of people in IntermezzOS want asides, blockquotes are probably the easiest way to do that. I have thus styled blockquotes for all the color themes.
2016-01-03 20:47:59 +08:00
table {
margin: 0 auto;
Style tables, different header bg, alternate row color and border
2016-02-06 01:09:35 +08:00
border-collapse: collapse;
Basic formatting for tables + Styling for blockquotes Added basic formatting for tables so that they have some padding and are aligned in the center of the page. I did not add color or borders because I am not sure how tables should look like. A lot of people in IntermezzOS want asides, blockquotes are probably the easiest way to do that. I have thus styled blockquotes for all the color themes.
2016-01-03 20:47:59 +08:00
Style tables, different header bg, alternate row color and border
2016-02-06 01:09:35 +08:00
td {
padding: 3px 20px;
border: 1px solid;
}
thead {
td { font-weight: 700; }
}
Basic formatting for tables + Styling for blockquotes Added basic formatting for tables so that they have some padding and are aligned in the center of the page. I did not add color or borders because I am not sure how tables should look like. A lot of people in IntermezzOS want asides, blockquotes are probably the easiest way to do that. I have thus styled blockquotes for all the color themes.
2016-01-03 20:47:59 +08:00
}