Mercurial > octave
comparison doc/interpreter/octave.css @ 21986:9e992b9ffc5f
doc/interpreter/octave.css: improve HTML manual readability on small screens (patch #9031).
author | Oliver Heimlich <oheim@posteo.de> |
---|---|
date | Tue, 28 Jun 2016 11:10:12 +0200 |
parents | 15517574276a |
children | 02216516bbfe |
comparison
equal
deleted
inserted
replaced
21985:e2e0e353c3ef | 21986:9e992b9ffc5f |
---|---|
16 You should have received a copy of the GNU General Public License | 16 You should have received a copy of the GNU General Public License |
17 along with Octave; see the file COPYING. If not, see | 17 along with Octave; see the file COPYING. If not, see |
18 <http://www.gnu.org/licenses/>. | 18 <http://www.gnu.org/licenses/>. |
19 */ | 19 */ |
20 | 20 |
21 /* Import web font Roboto Condensed, Font Library Version 2015-06-06 */ | |
21 @font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'), | 22 @font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'), |
22 url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/4b8b4b377e8cb358cf886d13c7bb287c/RobotoCondensedBold.ttf') format('truetype'); | 23 url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/4b8b4b377e8cb358cf886d13c7bb287c/RobotoCondensedBold.ttf') format('truetype'); |
23 font-weight: bold; font-style: normal; } | 24 font-weight: bold; font-style: normal; } |
24 @font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'), | 25 @font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'), |
25 url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/9b1d05d1b332e5b95ad86e71ca8404fb/RobotoCondensedBoldItalic.ttf') format('truetype'); | 26 url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/9b1d05d1b332e5b95ad86e71ca8404fb/RobotoCondensedBoldItalic.ttf') format('truetype'); |
28 url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/d02fffb6890e4f28023dd149916d1b8a/RobotoCondensedItalic.ttf') format('truetype'); | 29 url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/d02fffb6890e4f28023dd149916d1b8a/RobotoCondensedItalic.ttf') format('truetype'); |
29 font-weight: normal; font-style: italic; } | 30 font-weight: normal; font-style: italic; } |
30 @font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'), | 31 @font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'), |
31 url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/b0b1845ecce8ab6a503971e808a8409c/RobotoCondensedRegular.ttf') format('truetype'); | 32 url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/b0b1845ecce8ab6a503971e808a8409c/RobotoCondensedRegular.ttf') format('truetype'); |
32 font-weight: normal; font-style: normal; } | 33 font-weight: normal; font-style: normal; } |
34 | |
35 /* Import web font Fantasque Sans Mono, Font Library Version 2016-04-05 */ | |
33 @font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'), | 36 @font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'), |
34 url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/db52617ba875d08cbd8e080ca3d9f756/b145f0e884b2da8f1b112d26e7cefd3d/FantasqueSansMonoBold.ttf') format('truetype'); | 37 url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/b0cbb25e73a9f8354e96d89524f613e7/a46033d3a07d9385620dc83b7655203f/FantasqueSansMonoBold.ttf') format('truetype'); |
35 font-weight: bold; font-style: normal; } | 38 font-weight: bold; font-style: normal; } |
36 @font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'), | 39 @font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'), |
37 url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/db52617ba875d08cbd8e080ca3d9f756/49319cbd53210c32099631ac89b1e70a/FantasqueSansMonoBoldItalic.ttf') format('truetype'); | 40 url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/b0cbb25e73a9f8354e96d89524f613e7/b0683ef4c834908aa372ec78dea42349/FantasqueSansMonoBoldItalic.ttf') format('truetype'); |
38 font-weight: bold; font-style: italic; } | 41 font-weight: bold; font-style: italic; } |
39 @font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'), | 42 @font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'), |
40 url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/db52617ba875d08cbd8e080ca3d9f756/5c07fe59e84e4594ffa87ae1a72b130d/FantasqueSansMonoItalic.ttf') format('truetype'); | 43 url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/b0cbb25e73a9f8354e96d89524f613e7/b78d0a48e4443f797e8d45dcf97594f7/FantasqueSansMonoItalic.ttf') format('truetype'); |
41 font-weight: normal; font-style: italic; } | 44 font-weight: normal; font-style: italic; } |
42 @font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'), | 45 @font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'), |
43 url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/db52617ba875d08cbd8e080ca3d9f756/cc70dc22137e92aaef169e1de38a6ec7/FantasqueSansMonoRegular.ttf') format('truetype'); | 46 url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/b0cbb25e73a9f8354e96d89524f613e7/f3fdc4f0f26e4431f54e8b552d55480c/FantasqueSansMonoRegular.ttf') format('truetype'); |
44 font-weight: normal; font-style: normal; } | 47 font-weight: normal; font-style: normal; } |
45 body > * { max-width: 42em; } | 48 |
46 div.header { max-width: 100%; } | 49 /* Use custom fonts */ |
47 hr { margin-left: 0; border: none; border-top: 3px double #657b83; } | 50 code, kbd, samp, tt, pre { font-family: 'Fantasque Sans Mono', monospace; } |
48 div.header, div.float-caption { color: #657b83; } | 51 code, kbd, samp, tt { font-style: italic; padding: 0 0.1ex; /* slightly increase margin to surrounding text */ } |
49 ul, ol { max-width: 39.5em; padding-left: 2.5em; } | 52 body, .sansserif { font-family: 'Roboto Condensed', sans-serif; } |
50 div.example, div.display, div.indentedblock, div.smalldisplay, div.lisp, div.smallindentedblock, div.smallexample, div.smalllisp { max-width: 38.8em; margin-left: 3.2em; } | 53 h1, h2, h3, h4, h5, .menu-comment, .roman, .menu-preformatted { font-family: 'Roboto Condensed', serif; } |
51 blockquote { margin-left: 3.2em; margin-right: 3.2em; max-width: 35.6em; } | 54 |
52 body, span.roman { font-family: 'Roboto Condensed', sans-serif; } | 55 /* |
53 body { padding-left: 7.5em; padding-right: 7.5em; } | 56 Use colors from the solarized color theme (sparsely), |
54 h1, h2, h3, h4, h5, pre.menu-comment { font-family: 'Roboto Condensed', serif; text-align: left !important; } | 57 the main text will remain in default colors for optimal readability (black on white). |
55 div.float table, img { margin-left: auto; margin-right: auto; } | 58 */ |
56 div.float table { width: 38em; } | 59 pre.example, .header, .float-caption, hr |
57 div.float table, div.float th { border-collapse: collapse; border-top: 1px solid black; border-bottom: 1px solid black; } | 60 { |
58 div.float th, div.float td { padding: 0.5em; } | 61 /* base00 ~ body text in light solarized theme */ |
59 dd > p:first-child { margin-top: 0; } | 62 color: #657b83; |
60 a { color: #268bd2; } | 63 border-color: #657b83; |
61 a:visited { color: #d33682; } | 64 } |
62 code, kbd, samp, tt { font-family: 'Fantasque Sans Mono', monospace; padding: 0 0.1em; font-style: italic; } | 65 pre.example |
63 pre.example, pre.smallexample, pre.verbatim { font-family: 'Fantasque Sans Mono', monospace; } | 66 { |
64 pre.example { background-color: #fdf6e3; color: #657b83; padding: 0.5em; } | 67 /* base3 ~ background color in light solarized theme */ |
68 background-color: #fdf6e3; | |
69 padding: 0.5em; | |
70 } | |
71 a { color: #268bd2; /* blue */ } | |
72 a:visited { color: #d33682; /* magenta */ } | |
73 | |
74 /* Center floating tables and images */ | |
75 .float table, .float img, .float object { margin-left: auto; margin-right: auto; } | |
76 | |
77 /* Decrease table width, but not on small screens */ | |
78 .float table { max-width: 38em; } | |
79 | |
80 /* Use horizontal lines: above/below tables and after table headers (Chicago Style) */ | |
81 .float table, .float th { border-collapse: collapse; border-top: 1px solid black; border-bottom: 1px solid black; } | |
82 .float th, .float td { padding: 0.5em; } | |
83 | |
84 /* Use horizontal ruler with double lines */ | |
85 hr { border-width: 0; border-top-width: 3px; border-style: double; } | |
86 | |
87 /* Smaller gap between subsequent @group blocks */ | |
65 .example { margin-bottom: 1em; } | 88 .example { margin-bottom: 1em; } |
66 .example + .example { margin-top: -0.5em } | 89 .example + .example { margin-top: -0.5em } |
90 | |
91 /* Smaller gap between definition and its description */ | |
92 dd > p:first-child { margin-top: 0.5em; } | |
93 | |
94 /* Limit maximum body width such that text is easier to read */ | |
95 body { max-width: 42em; margin-left: 0.5em; margin-right: 0.5em; } | |
96 | |
97 /* On small screens don't indent the code examples to prevent overflow */ | |
98 div.example { margin-left: auto; max-width: 38.8em; } | |
99 | |
100 /* | |
101 Use left margin such that text is easier to read, | |
102 but don't sacrifice space on small screens. | |
103 */ | |
104 @media screen and (min-width: 43em) | |
105 { | |
106 /* Smooth transition for screens between 43em and 57em */ | |
107 body { margin-left: auto; margin-right: auto; } | |
108 @media (min-width: 57em) | |
109 { | |
110 body { margin-left: 7.5em; } | |
111 } | |
112 } |