diff --git a/site/layouts/index.html b/site/layouts/index.html index 807da251fd..d573b253d3 100755 --- a/site/layouts/index.html +++ b/site/layouts/index.html @@ -87,12 +87,12 @@

- To migrate a VM name boot2docker-vmfrom Boot2Docker to Docker Machine, please type the following command in your terminal: + To migrate a VM name boot2docker-vm from Boot2Docker to Docker Machine, please type the following command in your terminal:

  1. Open a terminal or the Docker CLI on your system.
  2. -
  3. Type the following command.
    -
    docker-machine create -d virtualbox --virtualbox-import-boot2docker-vm boot2docker-vm docker-vm
    +
  4. Type the following command.
    +
    docker-machine create -d virtualbox --virtualbox-import-boot2docker-vm boot2docker-vm docker-vm
  5. Use the docker-machine command to interact with the migrated VM.
diff --git a/site/static/css/main.css b/site/static/css/main.css index af8e64dd99..7a17ac75f3 100755 --- a/site/static/css/main.css +++ b/site/static/css/main.css @@ -424,10 +424,28 @@ p { p strong { font-weight: 700; } +ol { + font-size: 1.2rem; + line-height: 1.7rem; + margin-bottom: 1rem; + margin-left: 1.8rem; +} +ol li { + list-style-type: decimal; + margin-bottom: 1rem; +} pre { border-radius: 0.3rem; - padding: 0.5rem; - margin-bottom: 1rem; + padding: 0.2rem 0.5rem; + display: inline-block; + font-size: 1rem; + font-family: Menlo, monospace; + color: #24b8eb; + background-color: rgba(36, 184, 235, 0.05); +} +code { + border-radius: 0.3rem; + padding: 0.2rem 0.5rem; display: inline-block; font-size: 1rem; font-family: Menlo, monospace; diff --git a/site/static/less/layout.less b/site/static/less/layout.less index 5c6cfed756..5cdbdf7495 100755 --- a/site/static/less/layout.less +++ b/site/static/less/layout.less @@ -286,10 +286,31 @@ p { } } +ol { + font-size: 1.2rem; + line-height: 1.7rem; + margin-bottom: 1rem; + margin-left: 1.8rem; + li { + list-style-type: decimal; + margin-bottom: 1rem; + } +} + pre { border-radius: 0.3rem; - padding: 0.5rem; - margin-bottom: 1rem; + padding: 0.2rem 0.5rem; + //margin-bottom: 1rem; + display: inline-block; + font-size: 1rem; + font-family: Menlo, monospace; + color: @brand-primary; + background-color: fade(@brand-primary, 5%); +} + +code { + border-radius: 0.3rem; + padding: 0.2rem 0.5rem; display: inline-block; font-size: 1rem; font-family: Menlo, monospace;