Module:Documentation: Difference between revisions

No edit summary
No edit summary
Line 188: Line 188:
end
end
links = mw.html.create( 'span' )
links = mw.html.create( 'span' )
:attr( 'id', 'documentation-header-tools' )
:css( 'float', 'right' )
:css( 'float', 'right' )
:wikitext( mw.text.nowiki( '[' ), table.concat( links, ' | ' ), mw.text.nowiki( ']' ) )
:wikitext( mw.text.nowiki( '[' ), table.concat( links, ' | ' ), mw.text.nowiki( ']' ) )
Line 203: Line 204:
local header = mw.html.create( 'div' )
local header = mw.html.create( 'div' )
:addClass( 'documentation-header-top' )
:css{
:css{
margin = '-0.8em -1em 0.8em',
margin = '-0.8em -1em 0.8em',
Line 213: Line 215:
:node( links )
:node( links )
:tag( 'span' )
:tag( 'span' )
:attr( 'id', 'documentation-header-title' )
:css{
:css{
['font-weight'] = 'bold',
['font-weight'] = 'bold',
Line 241: Line 244:
body
body
:tag( 'div' )
:tag( 'div' )
:addClass( 'documentation-header-bottom' )
:css{
:css{
margin = '0.7em -1em -0.7em',
margin = '0.7em -1em -0.7em',