commit 8f33464ca7a603301cf9a5a213be23ca701d6cce · pyrox.dev/nixpkgs

+1 -7

doc/Makefile

···

       25
       25
        
       		./manual-full.xml

     

       26
       26
        
       

     

       27
       27
        
       	mkdir -p out/html/highlightjs/

     

       28
       28
       -
       	echo "document.onreadystatechange = function () { \

     

       29
       29
       -
       	  var listings = document.querySelectorAll('.programlisting, .screen'); \

     

       30
       30
       -
       	  for (i = 0; i < listings.length; ++i) { \

     

       31
       31
       -
       	     hljs.highlightBlock(listings[i]); \

     

       32
       32
       -
       	  } \

     

       33
       33
       -
       	} " > out/html/highlightjs/loader.js

     

       34
       34
       -
       

     

       35
       28
        
       	cp -r highlightjs out/html/

     

       36
       29
        
       

     

       37
       30
        
       	cp ./overrides.css out/html/

     
···

       63
       56
        
       	cp -r "$$HIGHLIGHTJS/highlight.pack.js" highlightjs/

     

       64
       57
        
       	cp -r "$$HIGHLIGHTJS/LICENSE" highlightjs/

     

       65
       58
        
       	cp -r "$$HIGHLIGHTJS/mono-blue.css" highlightjs/

     

       59
       59
       +
       	cp -r "$$HIGHLIGHTJS/loader.js" highlightjs/

     

       66
       60
        
       

     

       67
       61
        
       

     

       68
       62
        
       manual-full.xml: ${MD_TARGETS} .version *.xml

+17

doc/style.css

···

       248
       248
        
           box-shadow: 0.4em 0.4em 0.5em #e0e0e0;

     

       249
       249
        
       }

     

       250
       250
        
       

     

       251
       251
       +
       table.simplelist

     

       252
       252
       +
       {

     

       253
       253
       +
           text-align: left;

     

       254
       254
       +
           color: #005aa0;

     

       255
       255
       +
           border: 0;

     

       256
       256
       +
           padding: 5px;

     

       257
       257
       +
           background: #fffff5;

     

       258
       258
       +
           font-weight: normal;

     

       259
       259
       +
           font-style: italic;

     

       260
       260
       +
           box-shadow: none;

     

       261
       261
       +
           margin-bottom: 1em;

     

       262
       262
       +
       }

     

       263
       263
       +
       

     

       264
       264
       +
       div.navheader table, div.navfooter table {

     

       265
       265
       +
           box-shadow: none;

     

       266
       266
       +
       }

     

       267
       267
       +
       

     

       251
       268
        
       div.affiliation

     

       252
       269
        
       {

     

       253
       270
        
           font-style: italic;

+8 -5

nixos/doc/manual/default.nix

···

       124
       124
        
         manualXsltprocOptions = toString [

     

       125
       125
        
           "--param section.autolabel 1"

     

       126
       126
        
           "--param section.label.includes.component.label 1"

     

       127
       127
       -
           "--stringparam html.stylesheet style.css"

     

       127
       127
       +
           "--stringparam html.stylesheet 'style.css overrides.css highlightjs/mono-blue.css'"

     

       128
       128
       +
           "--stringparam html.script './highlightjs/highlight.pack.js ./highlightjs/loader.js'"

     

       128
       129
        
           "--param xref.with.number.and.title 1"

     

       129
       130
        
           "--param toc.section.depth 3"

     

       130
       131
        
           "--stringparam admon.style ''"

     

       131
       131
       -
           "--stringparam callout.graphics.extension .gif"

     

       132
       132
       +
           "--stringparam callout.graphics.extension .svg"

     

       132
       133
        
           "--stringparam current.docid manual"

     

       133
       134
        
           "--param chunk.section.depth 0"

     

       134
       135
        
           "--param chunk.first.sections 1"

     
···

       260
       261
        
               ${manual-combined}/manual-combined.xml

     

       261
       262
        
       

     

       262
       263
        
             mkdir -p $dst/images/callouts

     

       263
       263
       -
             cp ${docbook5_xsl}/xml/xsl/docbook/images/callouts/*.gif $dst/images/callouts/

     

       264
       264
       +
             cp ${docbook5_xsl}/xml/xsl/docbook/images/callouts/*.svg $dst/images/callouts/

     

       264
       265
        
       

     

       265
       265
       -
             cp ${./style.css} $dst/style.css

     

       266
       266
       +
             cp ${../../../doc/style.css} $dst/style.css

     

       267
       267
       +
             cp ${../../../doc/overrides.css} $dst/overrides.css

     

       268
       268
       +
             cp -r ${pkgs.documentation-highlighter} $dst/highlightjs

     

       266
       269
        
       

     

       267
       270
        
             mkdir -p $out/nix-support

     

       268
       271
        
             echo "nix-build out $out" >> $out/nix-support/hydra-build-products

     
···

       286
       289
        
               ${manual-combined}/manual-combined.xml

     

       287
       290
        
       

     

       288
       291
        
             mkdir -p $dst/epub/OEBPS/images/callouts

     

       289
       289
       -
             cp -r ${docbook5_xsl}/xml/xsl/docbook/images/callouts/*.gif $dst/epub/OEBPS/images/callouts # */

     

       292
       292
       +
             cp -r ${docbook5_xsl}/xml/xsl/docbook/images/callouts/*.svg $dst/epub/OEBPS/images/callouts # */

     

       290
       293
        
             echo "application/epub+zip" > mimetype

     

       291
       294
        
             manual="$dst/nixos-manual.epub"

     

       292
       295
        
             zip -0Xq "$manual" mimetype

-267

nixos/doc/manual/style.css

···

       1
       1
       -
       /* Copied from http://bakefile.sourceforge.net/, which appears

     

       2
       2
       -
          licensed under the GNU GPL. */

     

       3
       3
       -
       

     

       4
       4
       -
       

     

       5
       5
       -
       /***************************************************************************

     

       6
       6
       -
                                    Basic headers and text:

     

       7
       7
       -
        ***************************************************************************/

     

       8
       8
       -
       

     

       9
       9
       -
       body

     

       10
       10
       -
       {

     

       11
       11
       -
           font-family: "Nimbus Sans L", sans-serif;

     

       12
       12
       -
           background: white;

     

       13
       13
       -
           margin: 2em 1em 2em 1em;

     

       14
       14
       -
       }

     

       15
       15
       -
       

     

       16
       16
       -
       h1, h2, h3, h4

     

       17
       17
       -
       {

     

       18
       18
       -
           color: #005aa0;

     

       19
       19
       -
       }

     

       20
       20
       -
       

     

       21
       21
       -
       h1 /* title */

     

       22
       22
       -
       {

     

       23
       23
       -
           font-size: 200%;

     

       24
       24
       -
       }

     

       25
       25
       -
       

     

       26
       26
       -
       h2 /* chapters, appendices, subtitle */

     

       27
       27
       -
       {

     

       28
       28
       -
           font-size: 180%;

     

       29
       29
       -
       }

     

       30
       30
       -
       

     

       31
       31
       -
       /* Extra space between chapters, appendices. */

     

       32
       32
       -
       div.chapter > div.titlepage h2, div.appendix > div.titlepage h2 

     

       33
       33
       -
       { 

     

       34
       34
       -
           margin-top: 1.5em;

     

       35
       35
       -
       }

     

       36
       36
       -
       

     

       37
       37
       -
       div.section > div.titlepage h2 /* sections */

     

       38
       38
       -
       {

     

       39
       39
       -
           font-size: 150%;

     

       40
       40
       -
           margin-top: 1.5em;

     

       41
       41
       -
       }

     

       42
       42
       -
       

     

       43
       43
       -
       h3 /* subsections */

     

       44
       44
       -
       {

     

       45
       45
       -
           font-size: 125%;

     

       46
       46
       -
       }

     

       47
       47
       -
       

     

       48
       48
       -
       div.simplesect h2

     

       49
       49
       -
       {

     

       50
       50
       -
           font-size: 110%;

     

       51
       51
       -
       }

     

       52
       52
       -
       

     

       53
       53
       -
       div.appendix h3

     

       54
       54
       -
       {

     

       55
       55
       -
           font-size: 150%;

     

       56
       56
       -
           margin-top: 1.5em;

     

       57
       57
       -
       }

     

       58
       58
       -
       

     

       59
       59
       -
       div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */

     

       60
       60
       -
       {

     

       61
       61
       -
           margin-top: 1.4em;

     

       62
       62
       -
           font-size: 125%;

     

       63
       63
       -
       }

     

       64
       64
       -
       

     

       65
       65
       -
       div.refsection h3

     

       66
       66
       -
       {

     

       67
       67
       -
           font-size: 110%;

     

       68
       68
       -
       }

     

       69
       69
       -
       

     

       70
       70
       -
       

     

       71
       71
       -
       /***************************************************************************

     

       72
       72
       -
                                      Examples:

     

       73
       73
       -
        ***************************************************************************/

     

       74
       74
       -
       

     

       75
       75
       -
       div.example

     

       76
       76
       -
       {

     

       77
       77
       -
           border: 1px solid #b0b0b0;

     

       78
       78
       -
           padding: 6px 6px;

     

       79
       79
       -
           margin-left: 1.5em;

     

       80
       80
       -
           margin-right: 1.5em;

     

       81
       81
       -
           background: #f4f4f8;

     

       82
       82
       -
           border-radius: 0.4em;

     

       83
       83
       -
           box-shadow: 0.4em 0.4em 0.5em #e0e0e0;

     

       84
       84
       -
       }

     

       85
       85
       -
       

     

       86
       86
       -
       div.example p.title

     

       87
       87
       -
       {

     

       88
       88
       -
           margin-top: 0em;

     

       89
       89
       -
       }

     

       90
       90
       -
       

     

       91
       91
       -
       div.example pre

     

       92
       92
       -
       {

     

       93
       93
       -
           box-shadow: none;

     

       94
       94
       -
       }

     

       95
       95
       -
       

     

       96
       96
       -
       

     

       97
       97
       -
       /***************************************************************************

     

       98
       98
       -
                                   Screen dumps:

     

       99
       99
       -
        ***************************************************************************/

     

       100
       100
       -
       

     

       101
       101
       -
       pre.screen, pre.programlisting

     

       102
       102
       -
       {

     

       103
       103
       -
           border: 1px solid #b0b0b0;

     

       104
       104
       -
           padding: 3px 3px;

     

       105
       105
       -
           margin-left: 1.5em;

     

       106
       106
       -
           margin-right: 1.5em;

     

       107
       107
       -
           color: #600000;

     

       108
       108
       -
           background: #f4f4f8;

     

       109
       109
       -
           font-family: monospace;

     

       110
       110
       -
           border-radius: 0.4em;

     

       111
       111
       -
           box-shadow: 0.4em 0.4em 0.5em #e0e0e0;

     

       112
       112
       -
       }

     

       113
       113
       -
       

     

       114
       114
       -
       div.example pre.programlisting

     

       115
       115
       -
       {

     

       116
       116
       -
           border: 0px;

     

       117
       117
       -
           padding: 0 0;

     

       118
       118
       -
           margin: 0 0 0 0;

     

       119
       119
       -
       }

     

       120
       120
       -
       

     

       121
       121
       -
       

     

       122
       122
       -
       /***************************************************************************

     

       123
       123
       -
                                      Notes, warnings etc:

     

       124
       124
       -
        ***************************************************************************/

     

       125
       125
       -
       

     

       126
       126
       -
       .note, .warning

     

       127
       127
       -
       {

     

       128
       128
       -
           border: 1px solid #b0b0b0;

     

       129
       129
       -
           padding: 3px 3px;

     

       130
       130
       -
           margin-left: 1.5em;

     

       131
       131
       -
           margin-right: 1.5em;

     

       132
       132
       -
           margin-bottom: 1em;

     

       133
       133
       -
           padding: 0.3em 0.3em 0.3em 0.3em;

     

       134
       134
       -
           background: #fffff5;

     

       135
       135
       -
           border-radius: 0.4em;

     

       136
       136
       -
           box-shadow: 0.4em 0.4em 0.5em #e0e0e0;

     

       137
       137
       -
       }

     

       138
       138
       -
       

     

       139
       139
       -
       div.note, div.warning

     

       140
       140
       -
       {

     

       141
       141
       -
           font-style: italic;

     

       142
       142
       -
       }

     

       143
       143
       -
       

     

       144
       144
       -
       div.note h3, div.warning h3

     

       145
       145
       -
       {

     

       146
       146
       -
           color: red;

     

       147
       147
       -
           font-size: 100%;

     

       148
       148
       -
           padding-right: 0.5em;

     

       149
       149
       -
           display: inline;

     

       150
       150
       -
       }

     

       151
       151
       -
       

     

       152
       152
       -
       div.note p, div.warning p

     

       153
       153
       -
       {

     

       154
       154
       -
           margin-bottom: 0em;

     

       155
       155
       -
       }

     

       156
       156
       -
       

     

       157
       157
       -
       div.note h3 + p, div.warning h3 + p

     

       158
       158
       -
       {

     

       159
       159
       -
           display: inline;

     

       160
       160
       -
       }

     

       161
       161
       -
       

     

       162
       162
       -
       div.note h3

     

       163
       163
       -
       {

     

       164
       164
       -
           color: blue;

     

       165
       165
       -
           font-size: 100%;

     

       166
       166
       -
       }

     

       167
       167
       -
       

     

       168
       168
       -
       div.navfooter *

     

       169
       169
       -
       {

     

       170
       170
       -
           font-size: 90%;

     

       171
       171
       -
       }

     

       172
       172
       -
       

     

       173
       173
       -
       

     

       174
       174
       -
       /***************************************************************************

     

       175
       175
       -
                               Links colors and highlighting: 

     

       176
       176
       -
        ***************************************************************************/

     

       177
       177
       -
       

     

       178
       178
       -
       a { text-decoration: none; }

     

       179
       179
       -
       a:hover { text-decoration: underline; }

     

       180
       180
       -
       a:link { color: #0048b3; }

     

       181
       181
       -
       a:visited { color: #002a6a; }

     

       182
       182
       -
       

     

       183
       183
       -
       

     

       184
       184
       -
       /***************************************************************************

     

       185
       185
       -
                                     Table of contents:

     

       186
       186
       -
        ***************************************************************************/

     

       187
       187
       -
       

     

       188
       188
       -
       div.toc

     

       189
       189
       -
       {

     

       190
       190
       -
           font-size: 90%;

     

       191
       191
       -
       }

     

       192
       192
       -
       

     

       193
       193
       -
       div.toc dl

     

       194
       194
       -
       {

     

       195
       195
       -
           margin-top: 0em;

     

       196
       196
       -
           margin-bottom: 0em;

     

       197
       197
       -
       }

     

       198
       198
       -
       

     

       199
       199
       -
       

     

       200
       200
       -
       /***************************************************************************

     

       201
       201
       -
                                      Special elements:

     

       202
       202
       -
        ***************************************************************************/

     

       203
       203
       -
       

     

       204
       204
       -
       tt, code

     

       205
       205
       -
       {

     

       206
       206
       -
           color: #400000;

     

       207
       207
       -
       }

     

       208
       208
       -
       

     

       209
       209
       -
       .term

     

       210
       210
       -
       {

     

       211
       211
       -
           font-weight: bold;

     

       212
       212
       -
           

     

       213
       213
       -
       }

     

       214
       214
       -
       

     

       215
       215
       -
       div.variablelist dd p, div.glosslist dd p

     

       216
       216
       -
       {

     

       217
       217
       -
           margin-top: 0em;

     

       218
       218
       -
       }

     

       219
       219
       -
       

     

       220
       220
       -
       div.variablelist dd, div.glosslist dd

     

       221
       221
       -
       {

     

       222
       222
       -
           margin-left: 1.5em;

     

       223
       223
       -
       }

     

       224
       224
       -
       

     

       225
       225
       -
       div.glosslist dt

     

       226
       226
       -
       {

     

       227
       227
       -
           font-style: italic;

     

       228
       228
       -
       }

     

       229
       229
       -
       

     

       230
       230
       -
       .varname

     

       231
       231
       -
       {

     

       232
       232
       -
           color: #400000;

     

       233
       233
       -
       }

     

       234
       234
       -
       

     

       235
       235
       -
       span.command strong

     

       236
       236
       -
       {

     

       237
       237
       -
           font-weight: normal;

     

       238
       238
       -
           color: #400000;

     

       239
       239
       -
       }

     

       240
       240
       -
       

     

       241
       241
       -
       div.calloutlist table

     

       242
       242
       -
       {

     

       243
       243
       -
           box-shadow: none;

     

       244
       244
       -
       }

     

       245
       245
       -
       

     

       246
       246
       -
       table

     

       247
       247
       -
       {

     

       248
       248
       -
           border-collapse: collapse;

     

       249
       249
       -
           box-shadow: 0.4em 0.4em 0.5em #e0e0e0;

     

       250
       250
       -
       }

     

       251
       251
       -
       

     

       252
       252
       -
       table.simplelist

     

       253
       253
       -
       {

     

       254
       254
       -
           text-align: left;

     

       255
       255
       -
           color: #005aa0;

     

       256
       256
       -
           border: 0;

     

       257
       257
       -
           padding: 5px;

     

       258
       258
       -
           background: #fffff5;

     

       259
       259
       -
           font-weight: normal;

     

       260
       260
       -
           font-style: italic;

     

       261
       261
       -
           box-shadow: none;

     

       262
       262
       -
           margin-bottom: 1em;

     

       263
       263
       -
       }

     

       264
       264
       -
       

     

       265
       265
       -
       div.navheader table, div.navfooter table {

     

       266
       266
       -
           box-shadow: none;

     

       267
       267
       -
       }

pkgs/misc/documentation-highlighter/loader.js

···

       1
       1
       +
       /* This file is NOT part of highlight.js */

     

       2
       2
       +
       document.onreadystatechange = function () {

     

       3
       3
       +
           var listings = document.querySelectorAll('.programlisting, .screen');

     

       4
       4
       +
           for (i = 0; i < listings.length; ++i) {

     

       5
       5
       +
               hljs.highlightBlock(listings[i]);

     

       6
       6
       +
           }

     

       7
       7
       +
       }