<commit_before>// (C) Copyright 2014-2015 Hewlett-Packard Development Company, L.P.

var React = require('react');
var Header = require('grommet/components/Header');
var Title = require('grommet/components/Title');
var GrommetLogo = require('grommet/components/icons/Grommet');
var Menu = require('grommet/components/Menu');
var Link = require('react-router').Link;

var DocsHeader = React.createClass({

  propTypes: {
    float: React.PropTypes.bool
  },

  render: function() {
    return (
      <Header fixed={false} float={this.props.float} large={true}
        appCentered={true} justify="between">
        <Title responsive={false}>
          <Link to="docs">
            <GrommetLogo small={true} a11yTitle=""/>
            Grommet
          </Link>
        </Title>
        <Menu direction="row" responsive={false}>
          <Link id="design-link" to="design">Design</Link>
          <Link id="develop-link" to="develop">Develop</Link>
        </Menu>
      </Header>
    );
  }
});

module.exports = DocsHeader;<commit_msg>Fixed alignment for Grommet logo in the header.<commit_after>// (C) Copyright 2014-2015 Hewlett-Packard Development Company, L.P.

var React = require('react');
var Header = require('grommet/components/Header');
var Title = require('grommet/components/Title');
var Box = require('grommet/components/Box');
var GrommetLogo = require('grommet/components/icons/Grommet');
var Menu = require('grommet/components/Menu');
var Link = require('react-router').Link;

var DocsHeader = React.createClass({

  propTypes: {
    float: React.PropTypes.bool
  },

  render: function() {
    return (
      <Header fixed={false} float={this.props.float} large={true}
        appCentered={true} justify="between">
        <Title responsive={false}>
          <Link to="docs">
            <Box align="center" direction="row">
              <GrommetLogo small={true} a11yTitle=""/>
              Grommet
            </Box>
          </Link>
        </Title>
        <Menu direction="row" responsive={false}>
          <Link id="design-link" to="design">Design</Link>
          <Link id="develop-link" to="develop">Develop</Link>
        </Menu>
      </Header>
    );
  }
});

module.exports = DocsHeader;
{'fraction_non_alphanumeric': 0.1584871679423683, 'fraction_numerical': 0.009004952723998198, 'mean_word_length': 3.04, 'pattern_counts': {'":': 0, '<': 31, '<?xml version=': 0, '>': 31, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 4, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4855023', 'n_tokens_mistral': 695, 'n_tokens_neox': 663, 'n_words': 141}