annotate doc/interpreter/octave.css @ 21206:15517574276a

doc: Add octave.css to HTML interpreter manual (patch #8888).
author Oliver Heimlich <oheim@posteo.de>
date Sat, 06 Feb 2016 22:38:13 +0100
parents
children 9e992b9ffc5f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
21206
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
1 /*
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
2 Copyright (C) 2016 Oliver Heimlich
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
3
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
4 This file is part of Octave.
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
5
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
6 Octave is free software; you can redistribute it and/or modify it
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
7 under the terms of the GNU General Public License as published by the
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
8 Free Software Foundation; either version 3 of the License, or (at
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
9 your option) any later version.
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
10
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
11 Octave is distributed in the hope that it will be useful, but WITHOUT
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
14 for more details.
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
15
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
16 You should have received a copy of the GNU General Public License
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
17 along with Octave; see the file COPYING. If not, see
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
18 <http://www.gnu.org/licenses/>.
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
19 */
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
20
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
21 @font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'),
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
22 url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/4b8b4b377e8cb358cf886d13c7bb287c/RobotoCondensedBold.ttf') format('truetype');
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
23 font-weight: bold; font-style: normal; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
24 @font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'),
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
25 url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/9b1d05d1b332e5b95ad86e71ca8404fb/RobotoCondensedBoldItalic.ttf') format('truetype');
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
26 font-weight: bold; font-style: italic; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
27 @font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'),
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
28 url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/d02fffb6890e4f28023dd149916d1b8a/RobotoCondensedItalic.ttf') format('truetype');
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
29 font-weight: normal; font-style: italic; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
30 @font-face { font-family: 'Roboto Condensed'; src: local('Roboto Condensed'),
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
31 url('https://fontlibrary.org/assets/fonts/roboto-condensed/71405335c70332d94afd24ae4f06c9b2/b0b1845ecce8ab6a503971e808a8409c/RobotoCondensedRegular.ttf') format('truetype');
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
32 font-weight: normal; font-style: normal; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
33 @font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'),
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
34 url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/db52617ba875d08cbd8e080ca3d9f756/b145f0e884b2da8f1b112d26e7cefd3d/FantasqueSansMonoBold.ttf') format('truetype');
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
35 font-weight: bold; font-style: normal; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
36 @font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'),
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
37 url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/db52617ba875d08cbd8e080ca3d9f756/49319cbd53210c32099631ac89b1e70a/FantasqueSansMonoBoldItalic.ttf') format('truetype');
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
38 font-weight: bold; font-style: italic; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
39 @font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'),
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
40 url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/db52617ba875d08cbd8e080ca3d9f756/5c07fe59e84e4594ffa87ae1a72b130d/FantasqueSansMonoItalic.ttf') format('truetype');
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
41 font-weight: normal; font-style: italic; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
42 @font-face { font-family: 'Fantasque Sans Mono'; src: local('Fantasque Sans Mono'),
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
43 url('https://fontlibrary.org/assets/fonts/fantasque-sans-mono/db52617ba875d08cbd8e080ca3d9f756/cc70dc22137e92aaef169e1de38a6ec7/FantasqueSansMonoRegular.ttf') format('truetype');
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
44 font-weight: normal; font-style: normal; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
45 body > * { max-width: 42em; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
46 div.header { max-width: 100%; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
47 hr { margin-left: 0; border: none; border-top: 3px double #657b83; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
48 div.header, div.float-caption { color: #657b83; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
49 ul, ol { max-width: 39.5em; padding-left: 2.5em; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
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; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
51 blockquote { margin-left: 3.2em; margin-right: 3.2em; max-width: 35.6em; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
52 body, span.roman { font-family: 'Roboto Condensed', sans-serif; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
53 body { padding-left: 7.5em; padding-right: 7.5em; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
54 h1, h2, h3, h4, h5, pre.menu-comment { font-family: 'Roboto Condensed', serif; text-align: left !important; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
55 div.float table, img { margin-left: auto; margin-right: auto; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
56 div.float table { width: 38em; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
57 div.float table, div.float th { border-collapse: collapse; border-top: 1px solid black; border-bottom: 1px solid black; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
58 div.float th, div.float td { padding: 0.5em; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
59 dd > p:first-child { margin-top: 0; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
60 a { color: #268bd2; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
61 a:visited { color: #d33682; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
62 code, kbd, samp, tt { font-family: 'Fantasque Sans Mono', monospace; padding: 0 0.1em; font-style: italic; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
63 pre.example, pre.smallexample, pre.verbatim { font-family: 'Fantasque Sans Mono', monospace; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
64 pre.example { background-color: #fdf6e3; color: #657b83; padding: 0.5em; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
65 .example { margin-bottom: 1em; }
15517574276a doc: Add octave.css to HTML interpreter manual (patch #8888).
Oliver Heimlich <oheim@posteo.de>
parents:
diff changeset
66 .example + .example { margin-top: -0.5em }